One Table Fits All

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

Autores

Jorge Costa (Autor) Outra; Ricardo Rocha (Autor) FCUP

Ata de Conferência Internacional

Título: PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES

Páginas: 195-208

11th International Symposium on Practical Aspects of Declarative Languages

Savannah, GA, JAN 19-20, 2009

Indexação

ISI Web of Knowledge - 3 Citações

Scopus - 3 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-003-RQN

DOI: 10.1007/978-3-540-92995-6_14

Abstract (EN): Tabling is all implementation technique that overcomes some limitations of traditional Prolog systems in dealing with redundant sub-computations and recursion. The performance of tabled evaluation largely depends on the implementation of the table space. Arguably, the most successful data structure for tabling is tries. However, while tries are efficient for variant based tabled evaluation, they are limited ill their ability to recognize and represent repeated answers for different calls. In this paper, we propose a new design for the table space where tabled subgoal calls and/or answers are stored only once in a common global trie instead of being spread over several different tries. Our preliminary experiments using the YapTab tabling system show very promising reductions on memory usage.

Idioma: Inglês

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

Nº de páginas: 14