From 180fca20f9d6ef16b6ab466fa9974753e50dbccb Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 3 Aug 2017 21:25:50 -0600 Subject: [PATCH] update README --- README.md | 23 ++++++++--------------- 1 file changed, 8 insertions(+), 15 deletions(-) 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 -- 2.54.0