From 179bede1dbccf52f7e36cbdb023c91e51b02319f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 17 Mar 2019 18:11:08 -0600 Subject: [PATCH] update version and README --- Cargo.toml | 2 +- README.md | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) 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 "] 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 -- 2.54.0