From 36ca0087c9ed162fb54a5a7cd657f2e3e15d7fdb Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 28 Oct 2016 23:49:21 -0600 Subject: [PATCH] update --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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: -- 2.54.0