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

include library(pio) and library(charsio) in the itemization

Browse Source
This commit is contained in:
Markus Triska
2020-06-11 16:44:23 +02:00
parent 40c3e31955
commit d96ea6b815
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
README.md
View File

@@ -375,6 +375,14 @@ 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*.
* [`pio`](src/prolog/lib/pio.pl)
`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
internal string representation, also extremely large files can be
efficiently processed with Scryer Prolog in this way.
* [`charsio`](src/prolog/lib/charsio.pl) Various predicates that are
useful for parsing and reasoning about characters, notably
`char_type/2` to classify characters according to their type.
* [`error`](src/prolog/lib/error.pl) * [`error`](src/prolog/lib/error.pl)
`must_be/2` and `can_be/2` complement the type checks provided `must_be/2` and `can_be/2` complement the type checks provided
by `library(si)`, and are especially useful for Prolog library by `library(si)`, and are especially useful for Prolog library
@@ -419,12 +427,6 @@ The modules that ship with Scryer Prolog are also called
public key signatures and signature verification with Ed25519, public key signatures and signature verification with Ed25519,
authenticated encryption, and reasoning about elliptic curves. authenticated encryption, and reasoning about elliptic curves.
To read contents of external files, use `phrase_from_file/2` from
[`library(pio)`](src/prolog/lib/pio.pl) to apply a DCG to
file contents. The predicates in
[`library(charsio)`](src/prolog/lib/charsio.pl) are also useful for
parsing.
To use predicates provided by the `lists` library, write: To use predicates provided by the `lists` library, write:
``` ```