update version and README

diff --git a/Cargo.toml b/Cargo.toml
index 83ba717f34fdd7687a5e093491d20ad23e4efaa4..c64f86cca2bebde652c1e19af56e00032901765c 100644 (file)
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scryer-prolog"
-version = "0.8.8"
+version = "0.8.9"
 authors = ["Mark Thom <[email protected]>"]
 repository = "https://github.com/mthom/scryer-prolog"
 description = "A modern Prolog implementation written mostly in Rust."

diff --git a/README.md b/README.md
index 8300f561b7a5cce83a213455d7960ea6dd270ff8..783942d50ef35da44ddd7601b5448ba25f5a46f3 100644 (file)
--- a/README.md
+++ b/README.md
@@ -270,6 +270,11 @@ Note that the values of variables belonging to successful queries are
 printed out, on one line each. Uninstantiated variables are denoted by
 a number preceded by an underscore (`X = _0` in an example above).
 
+To clear the database, type
+```
+?- [clear].
+```
+
 To quit scryer-prolog, type
 ```
 ?- halt.
@@ -320,7 +325,6 @@ been exported to the toplevel. To export them, write
 
 ```
 ?- use_module(library(lists)).
-?- use_module(library(control)).
 ```
 
 The [user] prompt can also be used to define modules inline at the