new readme examples

diff --git a/README.md b/README.md
index 899658adf57da815947615880bac7f28fdbfceef..8f16312e02ff70079ef2c5c14a7424585f59b0f3 100644 (file)
--- a/README.md
+++ b/README.md
@@ -126,6 +126,11 @@ yes
 X = h
 Z = f(f(a), g(b), _7)
 Y = g(b)
+l2> ?- p(f(X, Y, Z), Y, h).
+yes
+X = f(a)
+Z = _4
+Y = g(b)
 l2> quit
 ```