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

correct README

Browse Source
This commit is contained in:
Mark Thom
2018-08-29 00:10:09 -06:00
parent 16a748bc0f
commit 03b76c65ba
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -32,8 +32,8 @@ Extend rusty-wam to include the following, among other features:
etc.) (_done_)
* Default representation of strings as list of chars, using a packed
internal representation (_done_).
** Implement a representation of 'partial strings' as difference lists
of characters (_in progress_).
- Implement a representation of 'partial strings' as difference lists
of characters (_in progress_).
* `term_expansion/2` and `goal_expansion/2` (_in progress_).
* Definite Clause Grammars.
* Attributed variables using the SICStus Prolog interface and