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:17 -06:00
parent 57575a1523
commit 5b61261cda
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@@ -14,7 +14,7 @@ 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). ```l0> p(Z, Z).
Program stored. Program stored.
l0> ?- p(Z, Z). l0> ?- p(Z, Z).
yes yes
@@ -40,4 +40,5 @@ An example of the level of interaction currently supported is:
yes yes
l0> ?- p(z, h(Z, w), f(w)). l0> ?- p(z, h(Z, w), f(w)).
yes yes
l0> quit``` l0> quit
```