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

Added an entry in README

Browse Source
This commit is contained in:
notoria
2020-06-19 17:48:55 +02:00
parent 94eddd3b42
commit 1799c19933
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -378,6 +378,8 @@ The modules that ship with Scryer Prolog are also called
write `integer_si(X)` to ensure soundness of your programs. write `integer_si(X)` to ensure soundness of your programs.
"si" stands for *sufficiently instantiated*, and also for "si" stands for *sufficiently instantiated*, and also for
*sound inference*. *sound inference*.
* [`debug`](src/lib/debug.pl)
Various predicates that allow for declarative debugging.
* [`pio`](src/lib/pio.pl) * [`pio`](src/lib/pio.pl)
`phrase_from_file/2` applies a DCG nonterminal to the contents of a `phrase_from_file/2` applies a DCG nonterminal to the contents of a
file, reading lazily only as much as is needed. Due to the compact file, reading lazily only as much as is needed. Due to the compact