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

update README

Browse Source
This commit is contained in:
Mark Thom
2017-05-26 12:46:19 -06:00
parent f29bd3dc0b
commit 4ab0716b86
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@@ -31,9 +31,8 @@ Extend rusty-wam to include the following, among other features:
* Mode declarations. * Mode declarations.
* Extensions for clp(FD). * Extensions for clp(FD).
* `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`".
* Strings, blobs, and other data types typical of Prolog that may not yet * Strings, blobs, and other data types.
know of or have left out.
## Phase 3 ## Phase 3