mark clp(X) item as completed, restore clp(Z) library description

diff --git a/README.md b/README.md
index a437e56f1e9de63bb2c62eb11399ce34b9334b22..adae3e8b4d2b5cfcf2c31175e828d4a8a34f3aed 100644 (file)
--- 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."