A Tabling Engine for the Yap Prolog System
Ricardo Rocha, Fernando Silva and VĂtor Santos Costa
December 2000
Abstract
This paper addresses the design and implementation of YapTab, a
tabling engine that extends the Yap Prolog system to support
sequential tabling. The tabling implementation is largely based on the
XSB engine, the SLG-WAM, however substantial differences exist since
our final goal is to support parallel tabling execution. We discuss
the major contributions in YapTab and outline the main differences of
our design in terms of data structures and algorithms. Finally, we
present some initial performance results for YapTab and compare with
those for XSB.
Bibtex
@InProceedings{rocha-agp00,
author = {R. Rocha and F. Silva and V. Santos Costa},
title = {{A Tabling Engine for the Yap Prolog System}},
booktitle = {Proceedings of the APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP 2000)},
month = {December},
year = {2000},
address = {La Habana, Cuba},
}
Download Paper
PDF file
Download Slides
PDF file