Voltar
Capítulo de livro Produção Nacional Revisado por pares
BIBTEX RIS

Pruning in the Extended Andorra Model

2004; Springer Science+Business Media; Linguagem: Inglês

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

ISSN

1611-3349

Autores

Ricardo J. Lopes, Vı́tor Santos Costa, Fernando Silva,

Tópico(s)

Galician and Iberian cultural studies

Resumo

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.

Referência(s)