IMPACT: Innovative Models for Prolog with Advanced Control and Tabling
Ricardo Rocha, Ricardo Lopes, Fernando Silva and VĂtor Santos Costa
October 2005
Abstract
During the past years, our research group has been working in the
design and implementation of Logic Programming Systems. In previous
work, we have produced systems to support sequential, parallel and
distributed execution of Prolog; to support novel techniques and
models, such as tabling, through the YapTab system, or the Extended
Andorra Model (EAM), through the BEAM; and to support the combination
of the above, such as parallel tabling. With the IMPACT project we
want to combine the power of tabling with that of EAM in order to
produce an execution model with advanced control strategies that
guarantees termination, avoids looping, reduces the search space, and
is less sensitive to goal ordering.
Bibtex
@InProceedings{rocha-iclp05-b,
author = {R. Rocha and R. Lopes and F. Silva and V. Santos Costa},
title = {{IMPACT: Innovative Models for Prolog with Advanced Control and Tabling}},
booktitle = {Proceedings of the 21th International Conference on Logic Programming (ICLP 2005)},
pages = {416--417},
number = {3668},
series = {LNCS},
publisher = {Springer},
editor = {M. Gabbrielli and G. Gupta},
month = {October},
year = {2005},
address = {Sitges, Spain},
}
Download Paper
PDF file
Springer
Download Poster
PDF file