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

2023-01-26 00:25:15 +01:00
parent ca4aaf44de
commit 90cf713186
1 changed files with 2 additions and 0 deletions
--- 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,