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

update README.md

Browse Source
This commit is contained in:
Mark Thom
2020-05-09 14:26:08 -06:00
parent 6f927b9941
commit 22298ddb41
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@@ -55,7 +55,10 @@ Extend Scryer Prolog to include the following, among other features:
- [x] A _redone_ representation of strings as difference lists of - [x] A _redone_ representation of strings as difference lists of
characters, using a packed internal representation. characters, using a packed internal representation.
- [x] clp(B) and clp(ℤ) as builtin libraries. - [x] clp(B) and clp(ℤ) as builtin libraries.
- [ ] Streams and predicates for stream control (_in progress_). - [x] Streams and predicates for stream control.
- [x] A simple sockets library representing TCP connections as streams.
- [ ] Incremental compilation and loading process, newly written,
primarily in Prolog. (_in progress_)
- [ ] A compacting garbage collector satisfying the five - [ ] A compacting garbage collector satisfying the five
properties of "Precise Garbage Collection in Prolog." properties of "Precise Garbage Collection in Prolog."
- [ ] Mode declarations. - [ ] Mode declarations.
@@ -372,6 +375,8 @@ The modules that ship with Scryer Prolog are also called
Provides *delimited continuations* via `reset/3` and `shift/1`. Provides *delimited continuations* via `reset/3` and `shift/1`.
* [`random`](src/prolog/lib/random.pl) * [`random`](src/prolog/lib/random.pl)
Probabilistic predicates and random number generators. Probabilistic predicates and random number generators.
* [`sockets`](src/prolog/lib/sockets.pl)
Predicates for opening and accepting TCP connections as streams.
To read contents of external files, use `phrase_from_file/2` from To read contents of external files, use `phrase_from_file/2` from
[`library(pio)`](src/prolog/lib/pio.pl) to apply a DCG to [`library(pio)`](src/prolog/lib/pio.pl) to apply a DCG to