From 90cf713186efef25d845b9db1454eb82e6da2e9c Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 26 Jan 2023 00:25:15 +0100 Subject: [PATCH] add link to Desouter et al., "Tabling as a Library with Delimited Control" --- src/lib/tabling.pl | 2 ++ 1 file changed, 2 insertions(+) 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, -- 2.54.0