Speculative Computations in Or-Parallel Tabled Logic Programs

Abstract

Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary computations. For parallel systems, the presence of pruning operators introduces the problem of speculative computations. A computation is named speculative if it can be pruned during parallel… (More)
DOI: 10.1007/978-3-540-27775-0_18

Topics

6 Figures and Tables

Cite this paper

@inproceedings{Rocha2004SpeculativeCI, title={Speculative Computations in Or-Parallel Tabled Logic Programs}, author={Ricardo Rocha and Fernando M. A. Silva and V{\'i}tor Santos Costa}, booktitle={ICLP}, year={2004} }