rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix README

Browse Source
This commit is contained in:
Mark Thom
2017-03-05 10:04:45 -07:00
parent bad608a202
commit 743602778f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -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> p(X) :- q(X).
l3> f(s). 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 Note that the values of variables belonging to successful queries are
printed out, on one line each. Uninstantiated variables are denoted by 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). above).
## Occurs check ## Occurs check