Global Storing Mechanisms for Tabled Evaluation

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

Authors

Jorge Costa (Author) Other; Ricardo Rocha (Author) FCUP

Conference proceedings International

Title: LOGIC PROGRAMMING, PROCEEDINGS

Pages: 708-712

24th International Conference on Logic Programming (ICLP)

Udine, ITALY, DEC 09-13, 2008

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 3 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

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

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 5