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

update README

Browse Source
This commit is contained in:
Mark Thom
2020-01-26 20:19:44 -07:00
parent dcf2eadcf2
commit 668c9489c9
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@@ -50,8 +50,11 @@ Extend Scryer Prolog to include the following, among other features:
- [x] Backtrackable and non-backtrackable global variables via `bb_get/2` - [x] Backtrackable and non-backtrackable global variables via `bb_get/2`
`bb_put/2` (non-backtrackable) and `bb_b_put/2` `bb_put/2` (non-backtrackable) and `bb_b_put/2`
(backtrackable). (backtrackable).
- [ ] Delimited continuations based on reset/3, shift/1 (documented in - [x] Delimited continuations based on reset/3, shift/1 (documented in
"Delimited Continuations for Prolog") (_in progress_). "Delimited Continuations for Prolog").
- [ ] Add opt-in tabling library based on delimited continuations
(documented in "Tabling as a Library with Delimited Control") (_in
progress_).
- [ ] clp(B) and clp(ℤ) as builtin libraries (_in progress_). - [ ] clp(B) and clp(ℤ) as builtin libraries (_in progress_).
- [ ] 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