From 668c9489c932626861c2eb58135e15be69bb5363 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 26 Jan 2020 20:19:44 -0700 Subject: [PATCH] update README --- README.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 44238464..00ed745c 100644 --- a/README.md +++ b/README.md @@ -49,9 +49,12 @@ Extend Scryer Prolog to include the following, among other features: `retract/1`, `abolish/1`) with logical update semantics. - [x] Backtrackable and non-backtrackable global variables via `bb_get/2` `bb_put/2` (non-backtrackable) and `bb_b_put/2` - (backtrackable). -- [ ] Delimited continuations based on reset/3, shift/1 (documented in - "Delimited Continuations for Prolog") (_in progress_). + (backtrackable). +- [x] Delimited continuations based on reset/3, shift/1 (documented in + "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_). - [ ] Streams and predicates for stream control (_in progress_). - [ ] An incremental compacting garbage collector satisfying the five -- 2.54.0