Mixed-Strategies for Linear Tabling in Prolog

Miguel Areias and Ricardo Rocha

September 2010

---

Abstract

Tabling is an implementation technique that solves some limitations of Prolog's operational semantics in dealing with recursion and redundant sub-computations. Arguably, the SLDT and DRA strategies are the two most successful extensions to standard linear tabled evaluation. In this work, we propose a new strategy for linear tabling, named DRS, and we present a framework, on top of the Yap system, that supports the combination of variants of these three strategies.

Bibtex

@InProceedings{areias-corta10,
  author =    {M. Areias and R. Rocha},
  title =     {{Mixed-Strategies for Linear Tabling in Prolog}},
  booktitle = {Proceedings of the 4th International Conference on Compilers, Programming Languages, 
               Related Technologies and Applications (CoRTA 2010) - Part of INForum 2010},
  pages =     {205--208},
  editor =    {L. S. Barbosa and M. P. Correia},
  month =     {September},
  year =      {2010},
  address =   {Braga, Portugal},
}

Download Paper

PDF file

Download Slides

PDF file