An External Module for Implementing Linear Tabling in Prolog

Cláudio Silva, Ricardo Rocha and Ricardo Lopes

August 2006


Abstract

In previous work, we have presented a proposal to combine the power of tabling with the Extended Andorra Model (EAM) and we have proposed the ability to use an external module for implementing tabling primitives that provide direct control over the search strategy. Currently, we have already a preliminary implementation of two linear tabling approaches, the SLDT and the DRA mechanisms, in our external module. Preliminaries results, on a set of common benchmarks for tabled execution, allows us to make a first and fair comparison between the SLDT and the DRA mechanisms and, therefore, better understand the advantages and weaknesses of each. Starting from these results, we are now working on a new proposal that tries to combine the best features of both in order to produce a more robust and efficient linear tabling mechanism to experiment with the EAM.

Bibtex

@InProceedings{silva-iclp06,
  author =    {C. Silva and R. Rocha and R. Lopes},
  title =     {{An External Module for Implementing Linear Tabling in Prolog}},
  booktitle = {Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006)},
  pages =     {429--430},
  number =    {4079},
  series =    {LNCS},
  publisher = {Springer},
  editor =    {S. Etalle and M. Truszczyński},
  month =     {August},
  year =      {2006},
  address =   {Seattle, Washington, USA},
}

Download Paper

PDF file
Springer

Download Slides

PDF file

Download Poster

PDF file