From: Mark Thom Date: Wed, 13 Mar 2019 15:29:28 +0000 (-0600) Subject: update README X-Git-Tag: v0.8.110~178 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bc0f0719fb7c5088f84dd8e7c1295e6059eabbe7;p=scryer-prolog.git update README --- diff --git a/README.md b/README.md index 45d8ce27..4e8627fd 100644 --- a/README.md +++ b/README.md @@ -48,7 +48,7 @@ Extend Scryer Prolog to include the following, among other features: * Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, `abolish/1`) with logical update semantics (_done_). * Backtrackable and non-backtrackable global variables via `bb_get/2` - `bb_put/2` (non-backtrackable) and `b_bb_put/2` + `bb_put/2` (non-backtrackable) and `bb_b_put/2` (backtrackable). (_done_). * Streams and predicates for stream control (_in progress_). * An incremental compacting garbage collector satisfying the five @@ -143,6 +143,7 @@ The following predicates are built-in to Scryer. * `atom/1` * `atomic/1` * `bagof/3` +* `bb_b_put/2` * `bb_get/2` * `bb_put/2` * `between/3`