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