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

correct and update README

Browse Source
This commit is contained in:
Mark Thom
2019-02-10 12:56:13 -07:00
parent 1a76786112
commit c3a5f25239
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -46,7 +46,7 @@ Extend rusty-wam to include the following, among other features:
* `if_` and related predicates, following the developments of the * `if_` and related predicates, following the developments of the
paper "Indexing `dif/2`". paper "Indexing `dif/2`".
* All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`). * All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`).
* Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, abolish/1`) with logical update semantics. * Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, `abolish/1`) with logical update semantics.
* Streams and predicates for stream control. * Streams and predicates for stream control.
* Mode declarations. * Mode declarations.
* Extensions for clp(FD). * Extensions for clp(FD).