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