update

diff --git a/README.md b/README.md
index 48ee64e8a1571479a3815b2f69f27310705b88e1..948f90931c92ffaa5b3deaf28f1d98682240f530 100644 (file)
--- 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: