On Delphi lemmas and other memoing techniques for deterministic logic programs (1997)

by P Tarau, K De Bosschere, B Demoen
Venue:Journal of Logic Programming
Add To MetaCart
Results 1 - 1 of 1

A Tabling Engine for the Yap Prolog System

by Ricardo Rocha, Fernando Silva, Ricardo Rocha Fern, Vítor Santos Costa
"... 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 parall ..."
Abstract - Add to MetaCart
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.