From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 29 Oct 2016 05:49:21 +0000 (-0600)
Subject: update
X-Git-Tag: v0.8.110~794
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=36ca0087c9ed162fb54a5a7cd657f2e3e15d7fdb;p=scryer-prolog.git

update
---

diff --git a/README.md b/README.md
index 48ee64e8..948f9093 100644
--- a/README.md
+++ b/README.md
@@ -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: