Thread-Based Competitive Or-Parallelism

Paulo Moura, Ricardo Rocha and Sara C. Madeira

December 2008


Abstract

This paper presents the logic programming concept of thread-based 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 running in its own thread. The subgoals compete for providing an answer and the first successful subgoal leads to the termination of the remaining ones. We discuss the implementation of competitive or-parallelism in the context of Logtalk, an object-oriented logic programming language, and present experimental results.

Bibtex

@InProceedings{moura-iclp08,
  author =    {P. Moura and R. Rocha and S. C. Madeira},
  title =     {{Thread-Based Competitive Or-Parallelism}},
  booktitle = {Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)},
  pages =     {713--717},
  number =    {5366},
  series =    {LNCS},
  publisher = {Springer},
  editor =    {M. Garcia de la Banda and E. Pontelli},
  month =     {December},
  year =      {2008},
  address =   {Udine, Italy},
}

Download Paper

PDF file
Springer

Download Poster

PDF file