On the Efficient Implementation of Mode-Directed Tabling

João Santos and Ricardo Rocha

January 2013

---

Abstract

Mode-directed tabling is an extension to the tabling technique that supports the definition of modes 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, which uses tries to implement the table space. We discuss 7 different modes and explain how we have extended and optimized YapTab's table space organization to provide engine support for them. Experimental results, in the context of benchmarks taking advantage of mode-directed tabling, show that our implementation compares favorably with the B-Prolog and XSB state-of-the-art tabling systems.

Bibtex

@InProceedings{santos-padl13,
  author =    {J. Santos and R. Rocha},
  title =     {{On the Efficient Implementation of Mode-Directed Tabling}},
  booktitle = {Proceedings of the 15th International Symposium on Practical Aspects of Declarative 
               Languages (PADL 2013)},
  pages =     {141--156},
  number =    {7752},
  series =    {LNCS},
  publisher = {Springer},
  editor =    {K. Sagonas},
  month =     {January},
  year =      {2013},
  address =   {Rome, Italy},
}

Download Paper

PDF file
Springer