]> Repositorios git - scryer-prolog.git/commitdiff
make op/3 a predicate call from the query context
authorMark Thom <[email protected]>
Sun, 31 Mar 2019 06:29:53 +0000 (00:29 -0600)
committerMark Thom <[email protected]>
Sun, 31 Mar 2019 06:29:53 +0000 (00:29 -0600)
Cargo.toml
src/prolog/machine/toplevel.rs

index cfe52228709132dabf995604acc36e6c870751ef..81bb8127dc7c1a4bc1a225a65500ee60e827338a 100644 (file)
@@ -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."
index 113251d572dc4ba31fe61ecc4b0cebbc6602699f..4c437a41208b886761ee31744b449795957775e6 100644 (file)
@@ -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)),
                         _ => {}
                     };