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.