From: Markus Triska Date: Thu, 11 Jun 2020 14:44:23 +0000 (+0200) Subject: include library(pio) and library(charsio) in the itemization X-Git-Tag: v0.8.127~39^2^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d96ea6b8159acc943738680646188076e537b372;p=scryer-prolog.git include library(pio) and library(charsio) in the itemization --- diff --git a/README.md b/README.md index 2762b86f..2890cb35 100644 --- a/README.md +++ b/README.md @@ -375,6 +375,14 @@ The modules that ship with Scryer Prolog are also called write `integer_si(X)` to ensure soundness of your programs. "si" stands for *sufficiently instantiated*, and also for *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) `must_be/2` and `can_be/2` complement the type checks provided 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, 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: ```