diff --git a/README.md b/README.md index ad634f73..483c87f1 100644 --- a/README.md +++ b/README.md @@ -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.