add linebreaks

diff --git a/README.md b/README.md
index e47e8e40384d6e133d11e59b9d15fd56202881cd..c239dbe51b416328ba1c36fbe9e604f8f6a3a1df 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).
-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> 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