I am curious about how tabling works to improve efficiency of Prolog programs. How is it implemented? Both explanation and references are welcome.
Asked
Active
Viewed 943 times
5
-
4[doc](http://arxiv.org/pdf/1012.5123v1.pdf) from gurus... I think it answers your question really in depth... – CapelliC Jul 02 '13 at 15:29
-
From David Warren (one of the authors from the posted paper) a good/introductory (with excellent working examples), although not very recent publication on Programming in Tabled Prolog: http://www.cs.sunysb.edu/~warren/xsbbook/node1.html – panza Sep 07 '13 at 23:29
-
B-Prolog Documentation "Section 16.2 Linear tabling and the strategies" is also usefui, you can find it here: http://www.picat-lang.org/bprolog/download/manual.pdf – May 15 '16 at 22:54
-
Check out: https://www.metalevel.at/prolog/memoization – Mar 03 '19 at 03:42