Thread-Based Competitive Or-Parallelism

• Type: Article in International Conference Proceedings Book
• Date: 2008

Authors

Paulo Moura (Author) Other; Ricardo Rocha (Author) FCUP; Sara C Madeira (Author) Other

Conference proceedings International

Title: LOGIC PROGRAMMING, PROCEEDINGS

Pages: 713-717

24th International Conference on Logic Programming (ICLP)

Udine, ITALY, DEC 09-13, 2008

Indexing

ISI Web of Knowledge - 3 Citations

Scopus - 3 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-004-41V

DOI: 10.1007/978-3-540-89982-2_63

Abstract (EN): 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 nation of the remaining ones. We discuss the implementation of competitive or-parallelism in the context, of Logtalk, all object-oriented logic programming language, and present results.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 5