add linebreaks

diff --git a/README.md b/README.md
index db90e5c2ad754334213c5140ff0d24a18bb71757..48ee64e8a1571479a3815b2f69f27310705b88e1 100644 (file)
--- a/README.md
+++ b/README.md
@@ -14,31 +14,32 @@ 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> quit
+```
+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