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

add linebreaks

Browse Source
This commit is contained in:
Mark Thom
2016-10-28 20:00:44 -06:00
parent 5b61261cda
commit 5079728dbf
1 changed files with 28 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

55
README.md
View File

@@ -14,31 +14,32 @@ atoms are currently supported.
An example of the level of interaction currently supported is: An example of the level of interaction currently supported is:
```l0> p(Z, Z). ```
Program stored. l0> p(Z, Z).
l0> ?- p(Z, Z). Program stored.
yes l0> ?- p(Z, Z).
l0> ?- p(Z, z). yes
yes l0> ?- p(Z, z).
l0> ?- p(Z, w). yes
yes l0> ?- p(Z, w).
l0> ?- p(z, w). yes
no l0> ?- p(z, w).
l0> ?- p(w, w). no
yes l0> ?- p(w, w).
l0> ?- p(Z, w). yes
yes l0> ?- p(Z, w).
l0> ?- p(Z, h(Z, W), f(W)). yes
no l0> ?- p(Z, h(Z, W), f(W)).
l0> p(Z, h(Z, W), f(W)). no
Program stored. l0> p(Z, h(Z, W), f(W)).
l0> ?- p(z, h(z, z), f(w)). Program stored.
no l0> ?- p(z, h(z, z), f(w)).
l0> ?- p(z, h(z, w), f(w)). no
yes l0> ?- p(z, h(z, w), f(w)).
l0> ?- p(Z, h(z, W), f(w)). yes
yes l0> ?- p(Z, h(z, W), f(w)).
l0> ?- p(z, h(Z, w), f(w)). yes
yes l0> ?- p(z, h(Z, w), f(w)).
l0> quit yes
l0> quit
``` ```