Just enough tabling

Konstantinos Sagonas, Peter J. Stuckey

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Abstract

We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled logic programs to be performed without resorting to any recomputation. We discuss issues that are involved in supporting pruning in tabled resolution, how re-execution of tabled computations which were previously pruned can be avoided, and we describe the implementation of such a scheme based on an abstract machine like CHAT, which implements the suspension/resumption support that tabling requires through a combination of freezing and copying of execution states of suspended computations. Properties of just enough tabling and possible uses of the JET mechanism in a tabling system are also briefly discussed.

Original languageEnglish
Title of host publicationProceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04
Pages78-89
Number of pages12
Publication statusPublished - 1 Dec 2004
Externally publishedYes
EventACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2004 - Verona, Italy
Duration: 24 Aug 200426 Aug 2004
Conference number: 6th

Publication series

NameProceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

Conference

ConferenceACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2004
CountryItaly
CityVerona
Period24/08/0426/08/04

Keywords

  • Logic programming
  • Pruning
  • Suspension/resumption in the WAM
  • Tabling

Cite this

Sagonas, K., & Stuckey, P. J. (2004). Just enough tabling. In Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04 (pp. 78-89). (Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04).