update README

diff --git a/README.md b/README.md
index 76f00554e6460e62482a3e52fe5fb0b9a3fce1b7..09f3019dde82b435fde46e003c4de19b90a520a7 100644 (file)
--- a/README.md
+++ b/README.md
@@ -34,11 +34,11 @@ Extend rusty-wam to include the following, among other features:
   internal representation (_done_).
     - A representation of 'partial strings' as difference lists
       of characters (_done_).
-* `term_expansion/2` and `goal_expansion/2` (_in progress_).
-* Definite Clause Grammars (_in progress_).
+* `term_expansion/2` and `goal_expansion/2` (_done_).
+* Definite Clause Grammars (_done_).
 * Attributed variables using the SICStus Prolog interface and
   semantics. Adding coroutines like `dif/2`, `freeze/2`, etc.
-  is straightforward with attributed variables.
+  is straightforward with attributed variables (_in progress_).
 * An occurs check.
 * Mode declarations.
 * Extensions for clp(FD).
@@ -146,6 +146,7 @@ The following predicates are built-in to rusty-wam.
 * `false/0`
 * `float/1`
 * `functor/3`
+* `goal_expansion/2`
 * `ground/1`
 * `integer/1`
 * `is_list/1`
@@ -169,9 +170,12 @@ The following predicates are built-in to rusty-wam.
 * `setup_call_cleanup/3`
 * `sort/2`
 * `string/1`
+* `term_expansion/2`
 * `term_variables/2`
 * `throw/1`
 * `true/0`
+* `user:goal_expansion/2`
+* `user:term_expansion/2`
 * `var/1`
 * `write/1`
 * `write_canonical/1`