Pruning in the extended Andorra model

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

Authors

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

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 2 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-000-DEF

DOI: 10.1007/978-3-540-24836-1_9

Abstract (EN): One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space would definitely be undesirable if it can only repeat previously found solutions, or if it is well-known that the whole computation will fail. Or it may be the case that we are interested in a subset of solutions. In this work we discuss how the BEAM addresses pruning issues. The BEAM is an implementation of David Warren's Extended Andorra Model. Because the BEAM relies on a very flexible execution mechanism, all cases of pruning discussed above should be considered. We show that all these different forms of pruning can be supported, and study their impact in applications.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15