From 23e833c69efb013e91f97605c719121128982753 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 8 Mar 2020 18:02:06 -0600 Subject: [PATCH] update README.md --- README.md | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/README.md b/README.md index 0fc83320..b10821e1 100644 --- a/README.md +++ b/README.md @@ -56,7 +56,7 @@ Extend Scryer Prolog to include the following, among other features: characters, using a packed internal representation. - [ ] 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 +- [ ] A compacting garbage collector satisfying the five properties of "Precise Garbage Collection in Prolog." - [ ] Mode declarations. @@ -123,11 +123,6 @@ $> cargo run [--release] The optional `--release` flag will perform various optimizations, producing a faster executable. -Note on compatibility: Scryer Prolog should work on Linux, Mac OS X, -and BSD variants on which Rust runs. Windows support hinges on -rustyline and Termion being functional in that environment, which to -my knowledge is not presently the case. - ## Tutorial To enter a multi-clause predicate, the directive "[user]" is used. -- 2.54.0