update README

README.md

@@ -98,22 +98,15 @@ X = c ;
 false.
 ```
 and so do conjunctive queries:
-
 ```
-prolog> ?- member([X,X],[a,b,c,[d,d],[e,d]]), member(X, [a,b,c,d,e,f,g]), member(Y, [X, a, b, c, d]).
+prolog> f(X) :- g(X).
-true
+prolog> g(x). g(y). g(z).
-Y = d
+prolog> h(call(f, X)).
-X = d ;
+prolog> ?- h(X), X.
-Y = a
+true .
-X = d ;
+X = call(f, x) ;
-Y = b
+X = call(f, y) ;
-X = d ;
+X = call(f, z).
-Y = c
-X = d ;
-Y = d
-X = d ;
-false.
-prolog>
 ```
 
 Note that the values of variables belonging to successful queries are