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

update

Browse Source
This commit is contained in:
Mark Thom
2016-10-28 23:49:21 -06:00
parent 5079728dbf
commit 36ca0087c9
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@@ -8,9 +8,9 @@ pure Prolog.
## Progress
The language L0 is implemented as a simple REPL. It supports
unification on facts and queries without backtracking and clauses
without rules, in the familiar Prolog syntax. No data types apart from
atoms are currently supported.
unification on facts and queries without backtracking and rules
without clauses, in the familiar Prolog syntax. No data types apart
from atoms are currently supported.
An example of the level of interaction currently supported is: