From 5f35dffa34387cc48d23f128a0e90bc627cc24b3 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 27 Apr 2020 19:53:25 +0200 Subject: [PATCH] `if_` --> `if_/3` --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 202a5b42..e30bd1b7 100644 --- a/README.md +++ b/README.md @@ -40,7 +40,7 @@ Extend Scryer Prolog to include the following, among other features: - [x] Support for `verify_attributes/3` - [x] Support for `attribute_goals/2` and `project_attributes/2` - [x] `call_residue_vars/2` -- [x] `if_` and related predicates, following the developments of the +- [x] `if_/3` and related predicates, following the developments of the paper "Indexing `dif/2`". - [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`). - [x] Clause creation and destruction (`asserta/1`, `assertz/1`, -- 2.54.0