On the efficient implementation of mode-directed tabling

• Type: Article in International Conference Proceedings Book
• Date: 2013

Authors

Santos, J (Author) Other; Rocha, R (Author) FCUP

Conference proceedings International

Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Pages: 141-156

15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013

Rome, 21 January 2013 through 22 January 2013

Indexing

ISI Web of Knowledge

Scopus - 5 Citations

Other information

Authenticus ID: P-008-KAJ

DOI: 10.1007/978-3-642-45284-0_10

Abstract (EN): 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. © 2013 Springer-Verlag.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16