]> Repositorios git - scryer-prolog.git/commitdiff
fix README l3_final origin/l3_final
authorMark Thom <[email protected]>
Sun, 5 Mar 2017 17:04:45 +0000 (10:04 -0700)
committerMark Thom <[email protected]>
Sun, 5 Mar 2017 17:04:45 +0000 (10:04 -0700)
README.md

index b679c8525d21c4a81c42c56849dd54e62f99fc70..06b9341e86ab6b550cbae668f97148734ee181a2 100644 (file)
--- 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