Dynamic mixed-strategy evaluation of tabled logic programs

• Type: Article in International Scientific Journal
• Date: 2005

Authors

Rocha, R (Author) FCUP; Silva, F (Author) FCUP; Costa, VS (Author) FCUP

Indexing

ISI Web of Knowledge - 7 Citations

Scopus - 10 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-000-66M

DOI: 10.1007/11562931_20

Abstract (EN): Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. 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 ability of using multiple strategies within the same evaluation can be a means of achieving the best possible performance. In this work, we present how the YapTab system was designed to support dynamic mixed-strategy evaluation of the two most successful tabling scheduling strategies: batched scheduling and local scheduling.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15