From: Markus Triska <triska@metalevel.at>
Date: Wed, 25 Jan 2023 22:40:55 +0000 (+0100)
Subject: DOC: add link to "Indexing dif/2" in DocLog format
X-Git-Tag: v0.9.2~209^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a29227d0d4195c180d43f91647179e6075e6cfff;p=scryer-prolog.git

DOC: add link to "Indexing dif/2" in DocLog format
---

diff --git a/src/lib/reif.pl b/src/lib/reif.pl
index 0e43a897..55618e84 100644
--- a/src/lib/reif.pl
+++ b/src/lib/reif.pl
@@ -1,3 +1,16 @@
+/** Predicates from [*Indexing dif/2*](https://arxiv.org/abs/1607.01590).
+
+Example:
+
+```
+?- tfilter(=(a), [X,Y], Es).
+   X = a, Y = a, Es = "aa"
+;  X = a, Es = "a", dif:dif(a,Y)
+;  Y = a, Es = "a", dif:dif(a,X)
+;  Es = [], dif:dif(a,X), dif:dif(a,Y).
+```
+*/
+
 :- module(reif, [if_/3, (=)/3, (',')/3, (;)/3, cond_t/3, dif/3,
 		         memberd_t/3, tfilter/3, tmember/2, tmember_t/3,
 		         tpartition/4]).