new readme examples

2017-02-24 18:53:30 -07:00
parent 25eb8911f0
commit 80adc23984
1 changed files with 5 additions and 0 deletions
--- 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
 ```