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

add to README

Browse Source
This commit is contained in:
Mark Thom
2017-12-10 19:32:52 -07:00
parent 2dc7832f59
commit 829b8278da
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -51,7 +51,7 @@ to contribute code to rusty-wam.
1. Add the global analysis techniques of Peter van Roy's thesis, "Can
Logic Programming Execute as Fast as Imperative Programming?"
2. Add support for unum representation and arithmetic, as described in Gustafson's
2. Add unum representation and arithmetic, as described in Gustafson's
book "The End of Error."
3. Add support for shift/reset delimited continuations, see "Delimited Continuations
@@ -59,6 +59,8 @@ for Prolog."
4. Add an incremental compacting garbage collector the heap.
5. Add a concurrent atom table.
## Built-in predicates
The following predicates are built-in to rusty-wam.