Thread-Based Competitive Or-Parallelism

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2008

Autores

Paulo Moura (Autor) Outra; Ricardo Rocha (Autor) FCUP; Sara C Madeira (Autor) Outra

Ata de Conferência Internacional

Título: LOGIC PROGRAMMING, PROCEEDINGS

Páginas: 713-717

24th International Conference on Logic Programming (ICLP)

Udine, ITALY, DEC 09-13, 2008

Indexação

ISI Web of Knowledge - 3 Citações

Scopus - 3 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 5