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 ;