From: Mark Thom Date: Fri, 12 Jun 2020 03:24:20 +0000 (-0600) Subject: credit Ulrich Neumerkel for partial strings in README X-Git-Tag: v0.8.127~43 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ad459b83c0610d4585e417408ac68892c7ce0472;p=scryer-prolog.git credit Ulrich Neumerkel for partial strings in README --- diff --git a/README.md b/README.md index 2762b86f..225a908b 100644 --- a/README.md +++ b/README.md @@ -274,6 +274,9 @@ only the standard predicate `(=)/2` is used. Definite clause grammars as provided by `library(dcgs)` are ideally suited for reasoning about strings. +Partial strings were first proposed by Ulrich Neumerkel in issue +[#95](https://github.com/mthom/scryer-prolog/issues/95). + ### Tabling (SLG resolution) One of the foremost attractions of Prolog is that logical consequences