YapTab: A Tabling Engine Designed to Support Parallelism
Ricardo Rocha, Fernando Silva and Vítor Santos Costa
September 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-tapd00,
author = {R. Rocha and F. Silva and V. Santos Costa},
title = {{YapTab: A Tabling Engine Designed to Support Parallelism}},
booktitle = {Proceedings of the 2nd Conference on Tabulation in Parsing and Deduction (TAPD 2000)},
pages = {77--87},
editor = {D. S. Warren and M. Vilares and L. R. Liñares and M. A. Alonso},
month = {September},
year = {2000},
address = {Vigo, Spain},
}
Download Paper
PDF file
Download Slides
PDF file