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