From: Mark Thom Date: Fri, 22 Dec 2017 19:52:55 +0000 (-0700) Subject: update README X-Git-Tag: v0.8.110~648^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6e87e35c7c65cbf18f01e2bb774118e1325cce76;p=scryer-prolog.git update README --- diff --git a/README.md b/README.md index 259ef062..f51b163f 100644 --- a/README.md +++ b/README.md @@ -136,7 +136,7 @@ member(X, [X|_]). member(X, [_|Xs]) :- member(X, Xs). }: prolog> ?- member(X, [a, b, c]). -true +true . X = a ; X = b ; X = c ;