From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 31 Mar 2019 06:29:53 +0000 (-0600)
Subject: make op/3 a predicate call from the query context
X-Git-Tag: v0.8.110~139
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=35e91ee47c8764777bdbd5001b21560afa518ba7;p=scryer-prolog.git

make op/3 a predicate call from the query context
---

diff --git a/Cargo.toml b/Cargo.toml
index cfe52228..81bb8127 100644
--- 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 <markjordanthom@gmail.com>"]
 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 113251d5..4c437a41 100644
--- 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)),
                         _ => {}
                     };