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