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.