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