From 2eea0528b1a714b5f9c5647f10f3f5cbb51c39b6 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 26 Oct 2019 01:35:26 -0600 Subject: [PATCH] remove all mention of [clear] from the README --- README.md | 5 ----- 1 file changed, 5 deletions(-) diff --git a/README.md b/README.md index 564c757c..28f254e2 100644 --- a/README.md +++ b/README.md @@ -299,11 +299,6 @@ 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. -- 2.54.0