From 6299d41cdaf6e852067ce09bbfde16f18c790d70 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 5 Apr 2020 21:26:27 -0300 Subject: [PATCH] mark clp(X) item as completed, restore clp(Z) library description --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a437e56f..adae3e8b 100644 --- a/README.md +++ b/README.md @@ -54,7 +54,7 @@ Extend Scryer Prolog to include the following, among other features: (documented in "Tabling as a Library with Delimited Control"). - [x] A _redone_ representation of strings as difference lists of characters, using a packed internal representation. -- [ ] clp(B) and clp(ℤ) as builtin libraries (_in progress_). +- [x] clp(B) and clp(ℤ) as builtin libraries. - [ ] Streams and predicates for stream control (_in progress_). - [ ] A compacting garbage collector satisfying the five properties of "Precise Garbage Collection in Prolog." -- 2.54.0