rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

link to announcement of Rebis Development Branch, call for testing

Browse Source
This commit is contained in:
Markus Triska
2021-02-09 18:59:26 +01:00
parent f5d808e68f
commit d1afcb941f
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@@ -60,7 +60,8 @@ Extend Scryer Prolog to include the following, among other features:
- [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_)
primarily in Prolog. (_in progress_, see
[#775](https://github.com/mthom/scryer-prolog/issues/775))
- [ ] A compacting garbage collector satisfying the five
properties of "Precise Garbage Collection in Prolog."
- [ ] Mode declarations.