From 6e87e35c7c65cbf18f01e2bb774118e1325cce76 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 22 Dec 2017 12:52:55 -0700 Subject: [PATCH] update README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ; -- 2.54.0