From 786f0b5ca209220f57fc935357c3734224ef76b0 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 12 Apr 2020 20:44:12 +0200 Subject: [PATCH] incorporate the latest improvements in the description of partial strings As of 6e4b76a3b40beb02556bd8847fe96789fa0ef012, the use of partial_string/3 can be replaced by (=)/2 in this example. --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 263b6227..e103767c 100644 --- a/README.md +++ b/README.md @@ -236,7 +236,10 @@ the efficient packed representation is used internally. An important design goal of Scryer Prolog is to *automatically* use the efficient string representation whenever possible. Therefore, it -is only very rarely necessary to use `partial_string/3` explicitly. +is only very rarely necessary to use `partial_string/3` explicitly. In +the above example, posting Ls0 = [a,b,c|Ls] yields +the exact same internal representation, and has the advantage that +only the standard predicate `(=)/2` is used. Definite clause grammars as provided by `library(dcgs)` are ideally suited for reasoning about strings. -- 2.54.0