From: Markus Triska Date: Sun, 12 Apr 2020 18:44:12 +0000 (+0200) Subject: incorporate the latest improvements in the description of partial strings X-Git-Tag: v0.8.119~5^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=786f0b5ca209220f57fc935357c3734224ef76b0;p=scryer-prolog.git 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. --- 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.