From 35e91ee47c8764777bdbd5001b21560afa518ba7 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 31 Mar 2019 00:29:53 -0600 Subject: [PATCH] make op/3 a predicate call from the query context --- Cargo.toml | 2 +- src/prolog/machine/toplevel.rs | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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 "] 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)), _ => {} }; -- 2.54.0