From: Mark Thom Date: Mon, 27 Jan 2020 03:19:44 +0000 (-0700) Subject: update README X-Git-Tag: v0.8.118~20 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=668c9489c932626861c2eb58135e15be69bb5363;p=scryer-prolog.git update README --- 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