Efficient Support for Mode-Directed Tabling in the YapTab Tabling System

João Santos and Ricardo Rocha

September 2012

---

Abstract

Mode-directed tabling is an extension to the tabling technique that supports the definition of mode operators for specifying how answers are inserted into the table space. In this paper, we focus our discussion on the efficient support for mode directed-tabling in the YapTab tabling system. We discuss 7 different mode operators and explain how we have extended and optimized YapTab's table space organization to support them. Initial experimental results show that our implementation compares favorably with the B-Prolog and XSB state-of-the-art Prolog tabling systems.

Bibtex

@InProceedings{santos-ciclops12,
  author =    {J. Santos and R. Rocha},
  title =     {{Efficient Support for Mode-Directed Tabling in the YapTab Tabling System}},
  booktitle = {Proceedings of the 12th Colloquium on Implementation of Constraint and LOgic Programming
               Systems (CICLOPS 2012)},
  pages =     {41--55},
  editor =    {N. Angelopoulos and R. Bagnara},
  month =     {September},
  year =      {2012},
  address =   {Budapest, Hungary},
}

Download Paper

PDF file
Computing Research Repository (CoRR)