From 743602778f8a7c6e9ada02cb778d77df8a109983 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 5 Mar 2017 10:04:45 -0700 Subject: [PATCH] fix README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index b679c852..06b9341e 100644 --- a/README.md +++ b/README.md @@ -29,7 +29,7 @@ h(z). }: ``` -Single clause predicates can entered without brackets, as in +Single clause predicates can be entered without brackets, as in ``` l3> p(X) :- q(X). l3> f(s). @@ -56,7 +56,7 @@ Pressing A will abort the search and return to the prompt. 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 is an example in the +a number preceded by an underscore (`X = _0` is an example in the above). ## Occurs check -- 2.54.0