High Level Thread-Based Competitive Or-Parallelism in Logtalk

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

Autores

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

Ata de Conferência Internacional

Título: PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES

Páginas: 107-121

11th International Symposium on Practical Aspects of Declarative Languages

Savannah, GA, JAN 19-20, 2009

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 2 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-005-5NP

DOI: 10.1007/978-3-540-92995-6_8

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 individual subgoals usually correspond to predicates implementing different procedures that, depending on the problem specifics, are expected to either fail or succeed with different performance levels. 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 thread-based competitive or-parallelism in the context of Logtalk, an object-oriented logic programming language, and present experimental results.

Idioma: Inglês

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

Nº de páginas: 15