On Extending a Linear Tabling Framework to Support Batched Scheduling

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

Autores

Miguel Areias (Autor) Outra; Ricardo Rocha (Autor) FCUP

Ata de Conferência Internacional

Título: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012

Páginas: 9-24

Indexação

ISI Web of Knowledge

Scopus - 2 Citações

Outras Informações

ID Authenticus: P-008-KJW

DOI: 10.4230/OASIcs.SLATE.2012.9

Abstract (EN): Tabled evaluation is a recognized and powerful technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. During tabled execution, several decisions have to be made. These are determined by the scheduling strategy. Whereas a strategy can achieve very good performance for certain applications, for others it might add overheads and even lead to unacceptable inefficiency. The two most successful tabling scheduling strategies are local scheduling and batched scheduling. In previous work, we have developed a framework, on top of the Yap system, that supports the combination of different linear tabling strategies for local scheduling. In this work, we propose the extension of our framework, to support batched scheduling. In particular, we are interested in the two most successful linear tabling strategies, the DRA and DRE strategies. To the best of our knowledge, no single tabling Prolog system supports both strategies simultaneously for batched scheduling.

Idioma: Inglês

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

Nº de páginas: 15