From: Mark Thom Date: Wed, 16 May 2018 04:51:34 +0000 (-0600) Subject: remove no longer present items from predicate list X-Git-Tag: v0.8.110~464 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=df265e60a96964c0947f24471c97c7289ab383a7;p=scryer-prolog.git remove no longer present items from predicate list --- diff --git a/Cargo.lock b/Cargo.lock index fd2b7642..1a04f97a 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -133,7 +133,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" [[package]] name = "rusty-wam" -version = "0.7.7" +version = "0.7.8" dependencies = [ "downcast 0.9.1 (registry+https://github.com/rust-lang/crates.io-index)", "num 0.1.41 (registry+https://github.com/rust-lang/crates.io-index)", diff --git a/README.md b/README.md index 4be008f5..908a79cc 100644 --- a/README.md +++ b/README.md @@ -129,8 +129,6 @@ The following predicates are built-in to rusty-wam. * `atomic/1` * `between/3` * `call/1..62` -* `call_cleanup/2` -* `call_with_inference_limit/3` * `catch/3` * `compare/3` * `compound/1` @@ -154,7 +152,6 @@ The following predicates are built-in to rusty-wam. * `repeat/0` * `reverse/2` * `select/3` -* `setup_call_cleanup/3` * `sort/2` * `string/1` * `throw/1`