Thread-Based Competitive Or-Parallelism

  title={Thread-Based Competitive Or-Parallelism},
  author={Paulo Moura and Ricardo Rocha and Sara C. Madeira},
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