]> Repositorios git - scryer-prolog.git/commitdiff
add linebreaks
authorMark Thom <[email protected]>
Sat, 29 Oct 2016 01:56:30 +0000 (19:56 -0600)
committerMark Thom <[email protected]>
Sat, 29 Oct 2016 01:56:30 +0000 (19:56 -0600)
README.md

index c239dbe51b416328ba1c36fbe9e604f8f6a3a1df..b4d1dc794c4c2a7c6cacefe8309895320931d7e7 100644 (file)
--- a/README.md
+++ b/README.md
@@ -14,30 +14,30 @@ atoms are currently supported.
 
 An example of the level of interaction currently supported is:
 
-`l0> p(Z, Z).  
-Program stored.  
-l0> ?- p(Z, Z).  
-yes  
-l0> ?- p(Z, z).  
-yes  
-l0> ?- p(Z, w).  
-yes  
-l0> ?- p(z, w).  
+`l0> p(Z, Z).`  
+`Program stored.`  
+`l0> ?- p(Z, Z).`  
+`yes`  
+`l0> ?- p(Z, z).`  
+`yes`  
+`l0> ?- p(Z, w).`  
+`yes`  
+`l0> ?- p(z, w).`  
 no  
-l0> ?- p(w, w).  
-yes  
-l0> ?- p(Z, w).  
-yes  
-l0> ?- p(Z, h(Z, W), f(W)).  
-no  
-l0> p(Z, h(Z, W), f(W)).  
-Program stored.  
-l0> ?- p(z, h(z, z), f(w)).  
-no  
-l0> ?- p(z, h(z, w), f(w)).  
-yes  
-l0> ?- p(Z, h(z, W), f(w)).  
-yes  
-l0> ?- p(z, h(Z, w), f(w)).  
-yes  
-l0> quit`
\ No newline at end of file
+`l0> ?- p(w, w).`  
+`yes`  
+`l0> ?- p(Z, w).`  
+`yes`  
+`l0> ?- p(Z, h(Z, W), f(W)).`  
+`no`  
+`l0> p(Z, h(Z, W), f(W)).`  
+`Program stored.`  
+`l0> ?- p(z, h(z, z), f(w)).`  
+`no`  
+`l0> ?- p(z, h(z, w), f(w)).`  
+`yes`  
+`l0> ?- p(Z, h(z, W), f(w)).`  
+`yes`  
+`l0> ?- p(z, h(Z, w), f(w)).`  
+`yes`  
+`l0> quit`
\ No newline at end of file