From 4a736453fcad2bce35054428dfcbea53bbc9d2d6 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 12 Mar 2019 22:39:59 -0600 Subject: [PATCH] update README: backtrackable globals --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index ba81e2bb..c3ecce96 100644 --- a/README.md +++ b/README.md @@ -47,6 +47,7 @@ Extend Scryer Prolog to include the following, among other features: * All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`) (_done_). * Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, `abolish/1`) with logical update semantics (_done_). +* Backtrackable global variables via `bb_get/2` and `bb_put/2` (_done_). * Streams and predicates for stream control (_in progress_). * An incremental compacting garbage collector satisfying the five properties of "Precise Garbage Collection in Prolog." @@ -140,6 +141,8 @@ The following predicates are built-in to Scryer. * `atom/1` * `atomic/1` * `bagof/3` +* `bb_get/2` +* `bb_put/2` * `between/3` * `call/1..62` * `call_cleanup/2` -- 2.54.0