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},
}