From c3a5f25239c63086e11d24c22ebba042026bd8f0 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 10 Feb 2019 12:56:13 -0700 Subject: [PATCH] correct and update README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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). -- 2.54.0