From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 18 Mar 2019 00:11:08 +0000 (-0600)
Subject: update version and README
X-Git-Tag: v0.8.110~168
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=179bede1dbccf52f7e36cbdb023c91e51b02319f;p=scryer-prolog.git

update version and README
---

diff --git a/Cargo.toml b/Cargo.toml
index 83ba717f..c64f86cc 100644
--- 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 <markjordanthom@gmail.com>"]
 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 8300f561..783942d5 100644
--- 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