bug fixes

diff --git a/README.md b/README.md
index 9c84f6cb1cce716a1dd10e4ae2c14f917b906438..dd2bd6cba66bc728cda07255b995cc71c9a4ca63 100644 (file)
--- a/README.md
+++ b/README.md
@@ -53,6 +53,9 @@ l1> ?- p(Z, h(Z, w), f(Z)).
 yes
 l1> ?- p(z, h(Z, w), f(Z)).
 no
+l1> p(f(X), h(Y, f(a)), Y).
+l1> ?- p(Z, h(Z, W), f(W)).
+yes
 l1> quit
 ```