rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

credit Ulrich Neumerkel for partial strings in README

Browse Source
This commit is contained in:
Mark Thom
2020-06-11 21:24:20 -06:00
parent f84c831cda
commit ad459b83c0
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@@ -274,6 +274,9 @@ only the standard predicate `(=)/2` is used.
Definite clause grammars as provided by `library(dcgs)` are ideally Definite clause grammars as provided by `library(dcgs)` are ideally
suited for reasoning about strings. 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) ### Tabling (SLG resolution)
One of the foremost attractions of Prolog is that logical consequences One of the foremost attractions of Prolog is that logical consequences