branch: scratch/ediprolog
commit 62ce0025b8e44d0cbb5a782b5c18be72b2662163
Author: Markus Triska <tri...@metalevel.at>
Commit: Markus Triska <tri...@metalevel.at>
use compact string notation in sample queries
---
README.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index 9aa9d45def..4f79fe4f6a 100644
--- a/README.md
+++ b/README.md
@@ -51,11 +51,11 @@ Prolog process, and you interact with the process in the
current
buffer as on a terminal. Queries start with "?-" or ":-", possibly
preceded by "%" and whitespace. An example of a query is:
- %?- member(X, [a,b,c]).
+ %?- member(X, "abc").
If you press F10 when point is on that query, you get:
- %?- member(X, [a,b,c]).
+ %?- member(X, "abc").
%@ X = a
%@ ; X = b
%@ ; X = c
