rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update README: backtrackable globals

Browse Source
This commit is contained in:
Mark Thom
2019-03-12 22:39:59 -06:00
parent 527ac606e9
commit 4a736453fc
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@@ -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_). * All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`) (_done_).
* Clause creation and destruction (`asserta/1`, `assertz/1`, * Clause creation and destruction (`asserta/1`, `assertz/1`,
`retract/1`, `abolish/1`) with logical update semantics (_done_). `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_). * Streams and predicates for stream control (_in progress_).
* An incremental compacting garbage collector satisfying the five * An incremental compacting garbage collector satisfying the five
properties of "Precise Garbage Collection in Prolog." properties of "Precise Garbage Collection in Prolog."
@@ -140,6 +141,8 @@ The following predicates are built-in to Scryer.
* `atom/1` * `atom/1`
* `atomic/1` * `atomic/1`
* `bagof/3` * `bagof/3`
* `bb_get/2`
* `bb_put/2`
* `between/3` * `between/3`
* `call/1..62` * `call/1..62`
* `call_cleanup/2` * `call_cleanup/2`