From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 4 Aug 2017 03:25:50 +0000 (-0600)
Subject: update README
X-Git-Tag: v0.8.110~709
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=180fca20f9d6ef16b6ab466fa9974753e50dbccb;p=scryer-prolog.git

update README
---

diff --git a/README.md b/README.md
index 40226375..e8770020 100644
--- a/README.md
+++ b/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]).
-true
-Y = d
-X = d ;
-Y = a
-X = d ;
-Y = b
-X = d ;
-Y = c
-X = d ;
-Y = d
-X = d ;
-false.
-prolog>
+prolog> f(X) :- g(X).
+prolog> g(x). g(y). g(z).
+prolog> h(call(f, X)).
+prolog> ?- h(X), X.
+true .
+X = call(f, x) ;
+X = call(f, y) ;
+X = call(f, z).
 ```
 
 Note that the values of variables belonging to successful queries are