update README

2017-12-22 12:52:55 -07:00
parent 8e38d39058
commit 6e87e35c7c
1 changed files with 1 additions and 1 deletions
--- 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 ;