A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs

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

Autores

Joao Raimundo (Autor) Outra; Ricardo Rocha (Autor) FCUP

Ata de Conferência Internacional

Título: PROGRESS IN ARTIFICIAL INTELLIGENCE

Páginas: 239-253

15th Portuguese Conference on Artificial Intelligence (EPIA 2011)

Lisbon, PORTUGAL, OCT 10-13, 2011

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 0 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-002-VYB

DOI: 10.1007/978-3-642-24769-9_18

Abstract (EN): Tabling is an implementation technique that overcomes some limitations of traditional Prolog systems in dealing with redundant sub-computations and recursion. A critical component in the implementation of an efficient tabling system is the design of the table space. The most popular and successful data structure for representing tables is based on a two-level trie data structure, where one trie level stores the tabled subgoal calls and the other stores the computed answers. The Global Trie (GT) is an alternative table space organization designed with the intent to reduce the tables's memory usage, namely by storing terms in a global trie, thus preventing repeated representations of the same term in different trie data structures. In this paper, we propose an extension to the GT organization, named Global Trie for Subterms (GT-ST), where compound subterms in term arguments are represented as unique entries in the GT. Experimental results using the Yap Tab tabling system show that GT-ST support has potential to achieve significant reductions on memory usage, for programs with increasing compound subterms in term arguments, without compromising the execution time for other programs.

Idioma: Inglês

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

Nº de páginas: 15