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

Merge pull request #811 from triska/master

Browse Source 
link to announcement of Rebis Development Branch, call for testing
This commit is contained in:
Mark Thom
2021-02-09 11:59:59 -07:00
committed by GitHub
parent f5d808e68f d1afcb941f
commit 605aea2211
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.