Some Improvements over the Continuation Call Tabling Implementation Technique

Pablo Chico, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva and Ricardo Rocha

September 2007


Abstract

Tabled evaluation has been proved an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. Several native implementations of tabled evaluation have been developed which offer good performance, but many of them need significant changes to the underlying Prolog implementation. More portable approaches, generally using program transformation, have been proposed but they often result in lower efficiency. We explore some techniques aimed at combining the best of these worlds, i.e., developing a portable and extensible implementation, with minimal modifications at the abstract machine level, and with reasonably good performance. Our preliminary results indicate promising results.

Bibtex

@InProceedings{chico-ciclops07,
  author =    {P. Chico and M. Carro and M. V. Hermenegildo and C. Silva and R. Rocha},
  title =     {{Some Improvements over the Continuation Call Tabling Implementation Technique}},
  booktitle = {Proceedings of the 7th Colloquium on Implementation of Constraint and LOgic Programming 
               Systems (CICLOPS 2007)},
  pages =     {132--146},
  editor =    {S. Abreu and V. Santos Costa},
  month =     {September},
  year =      {2007},
  address =   {Porto, Portugal},
}

Download Paper

PDF file