From b87fe1e21f2c509d85f9c2510146a7031c33f746 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 1 Apr 2023 10:42:58 +0200 Subject: [PATCH] DOC: link to "Indexing dif/2" --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7cf8c129..12ec6934 100644 --- a/README.md +++ b/README.md @@ -45,7 +45,7 @@ Extend Scryer Prolog to include the following, among other features: - [x] Support for `attribute_goals/2` and `project_attributes/2` - [x] `call_residue_vars/2` - [x] `if_/3` and related predicates, following the developments of the - paper "Indexing `dif/2`". + paper "[Indexing `dif/2`](https://arxiv.org/abs/1607.01590)". - [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`). - [x] Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, `abolish/1`) with logical update semantics. -- 2.54.0