Global Storing Mechanisms for Tabled Evaluation

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

Autores

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

Ata de Conferência Internacional

Título: LOGIC PROGRAMMING, PROCEEDINGS

Páginas: 708-712

24th International Conference on Logic Programming (ICLP)

Udine, ITALY, DEC 09-13, 2008

Indexação

ISI Web of Knowledge - 1 Citação

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-004-41T

DOI: 10.1007/978-3-540-89982-2_62

Abstract (EN): Arguably. the most successful data, structure for tabling is tries. However, while tries are very efficient for variant based tabled evaluation, they are limited in their ability to recognize and represent, repeated terms in different tabled calls or/and answers. lit this paper, we propose a new design for the table space where tabled terms are stored in a common global trie instead of being spread over several different tries.

Idioma: Inglês

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

Nº de páginas: 5