On Extending a Linear Tabling Framework to Support Batched Scheduling

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

Authors

Miguel Areias (Author) Other; Ricardo Rocha (Author) FCUP

Conference proceedings International

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

Pages: 9-24

Indexing

ISI Web of Knowledge

Scopus - 2 Citations

Other information

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

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15