From: Markus Triska <triska@metalevel.at>
Date: Wed, 25 Jan 2023 23:25:15 +0000 (+0100)
Subject: add link to Desouter et al., "Tabling as a Library with Delimited Control"
X-Git-Tag: v0.9.2~212^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=90cf713186efef25d845b9db1454eb82e6da2e9c;p=scryer-prolog.git

add link to Desouter et al., "Tabling as a Library with Delimited Control"
---

diff --git a/src/lib/tabling.pl b/src/lib/tabling.pl
index a63dd54f..606635fb 100644
--- a/src/lib/tabling.pl
+++ b/src/lib/tabling.pl
@@ -21,6 +21,8 @@
     the greatest attractions of pure Prolog code, and one of the
     strongest arguments for keeping to the pure core of Prolog as far
     as possible.
+
+    Scryer Prolog implements tabling as described by Desouter et al. in [*Tabling as a Library with Delimited Control*](https://www.ijcai.org/Proceedings/16/Papers/619.pdf).
 */
 
 :- module(tabling,