Mixed-Strategies for Linear Tabling in Prolog

Miguel Areias and Ricardo Rocha

September 2010


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.


  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