Thread-Based Competitive Or-Parallelism

@inproceedings{Moura2008ThreadBasedCO,
  title={Thread-Based Competitive Or-Parallelism},
  author={Paulo Moura and Ricardo Rocha and Sara C. Madeira},
  booktitle={ICLP},
  year={2008}
}
This paper presents the logic programming concept of threadbased competitive or-parallelism, which combines the original idea of competitive or-parallelism with committed-choice nondeterminism and speculative threading. In thread-based competitive or-parallelism, an explicit disjunction of subgoals is interpreted as a set of concurrent alternatives, each… CONTINUE READING