Merge pull request #689 from matteoredaelli/patch-1

Update README.md
This commit is contained in:
Mark Thom
2020-08-25 12:27:13 -03:00
committed by GitHub

View File

@@ -272,7 +272,7 @@ 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)`](src/lib/lists.pl), and the predicates from
[`library(dcgs)`](src/lib/dcgs.pl), and the predicates from
[`library(lists)`](src/lib/lists.pl), are ideally suited for reasoning
about strings.