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 263b6227fbd39903f2b94c36ae74629c44445fca..e103767c5b67ee8d0e458ea1cf89f716c40a2403 100644 (file)
--- 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 <tt>Ls0&nbsp;=&nbsp;[a,b,c|Ls]</tt> yields
+the exact same internal representation, and has the advantage that
+only the standard predicate&nbsp;`(=)/2` is used.
 
 Definite clause grammars as provided by `library(dcgs)` are ideally
 suited for reasoning about strings.