From: Mark Thom Date: Mon, 1 Mar 2021 01:29:35 +0000 (-0700) Subject: Merge pull request #843 from mthom/rebis-dev X-Git-Tag: v0.9.0~150 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3d4a7f97e1adbc82a5983668e58e509d7d0745aa;p=scryer-prolog.git Merge pull request #843 from mthom/rebis-dev Merge rebis-dev into master --- 3d4a7f97e1adbc82a5983668e58e509d7d0745aa diff --cc README.md index 1b7411e1,c15c6b8b..f11a4c97 --- a/README.md +++ b/README.md @@@ -59,11 -89,10 +59,10 @@@ Extend Scryer Prolog to include the fol - [x] clp(B) and clp(ℤ) as builtin libraries. - [x] Streams and predicates for stream control. - [x] A simple sockets library representing TCP connections as streams. --- [ ] Incremental compilation and loading process, newly written, - primarily in Prolog. (_in progress_, see - [#775](https://github.com/mthom/scryer-prolog/issues/775)) - primarily in Prolog. (_in progress_) --- [ ] A compacting garbage collector satisfying the five -- properties of "Precise Garbage Collection in Prolog." ++- [x] Incremental compilation and loading process, newly written, ++ primarily in Prolog. ++- [ ] A compacting garbage collector satisfying the five properties of ++ "Precise Garbage Collection in Prolog." (_in progress_) - [ ] Mode declarations. ## Phase 3