From ad459b83c0610d4585e417408ac68892c7ce0472 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 11 Jun 2020 21:24:20 -0600 Subject: [PATCH] credit Ulrich Neumerkel for partial strings in README --- README.md | 3 +++ 1 file changed, 3 insertions(+) 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 -- 2.54.0