From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 10 Feb 2019 19:56:13 +0000 (-0700)
Subject: correct and update README
X-Git-Tag: v0.8.110~262
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c3a5f25239c63086e11d24c22ebba042026bd8f0;p=scryer-prolog.git

correct and update README
---

diff --git a/README.md b/README.md
index 0575614a..eeb48f3e 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ Extend rusty-wam to include the following, among other features:
 * `if_` and related predicates, following the developments of the
   paper "Indexing `dif/2`".     
 * All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`).
-* Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, abolish/1`) with logical update semantics.
+* Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, `abolish/1`) with logical update semantics.
 * Streams and predicates for stream control.
 * Mode declarations.
 * Extensions for clp(FD).