Mixed-Strategies for Linear Tabling in Prolog
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}, }