From: Mark Thom Date: Mon, 9 Mar 2020 00:02:06 +0000 (-0600) Subject: update README.md X-Git-Tag: v0.8.119~57 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=23e833c69efb013e91f97605c719121128982753;p=scryer-prolog.git update README.md --- 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.