On the efficient implementation of mode-directed tabling

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2013

Autores

Santos, J (Autor) Outra; Rocha, R (Autor) FCUP

Ata de Conferência Internacional

Título: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Páginas: 141-156

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

Rome, 21 January 2013 through 22 January 2013

Indexação

ISI Web of Knowledge

Scopus - 5 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 16