make op/3 a predicate call from the query context

diff --git a/Cargo.toml b/Cargo.toml
index cfe52228709132dabf995604acc36e6c870751ef..81bb8127dc7c1a4bc1a225a65500ee60e827338a 100644 (file)
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scryer-prolog"
-version = "0.8.28"
+version = "0.8.29"
 authors = ["Mark Thom <[email protected]>"]
 repository = "https://github.com/mthom/scryer-prolog"
 description = "A modern Prolog implementation written mostly in Rust."

diff --git a/src/prolog/machine/toplevel.rs b/src/prolog/machine/toplevel.rs
index 113251d572dc4ba31fe61ecc4b0cebbc6602699f..4c437a41208b886761ee31744b449795957775e6 100644 (file)
--- a/src/prolog/machine/toplevel.rs
+++ b/src/prolog/machine/toplevel.rs
@@ -693,6 +693,7 @@ impl RelationWorker {
                     Ok(TopLevel::Declaration(Declaration::Hook(hook, clause, queue)))
                 } else if name.as_str() == "?-" {
                     match setup_declaration(terms.iter().cloned().collect()) {
+                        Ok(Declaration::Op(..)) => {}, // this is now a predicate call in the query context.
                         Ok(decl) => return Ok(TopLevel::Declaration(decl)),
                         _ => {}
                     };