The SBA: Exploiting orthogonality in AND-OR parallel systems

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

Autores

Correia, ME (Autor) FCUP; Silva, F (Autor) FCUP; Costa, VS (Autor) FCUP

Ata de Conferência Internacional

Título: LOGIC PROGRAMMING

Páginas: 117-131

1997 International Logic Programming Symposium (ILPS 97)

PORT WASHINGTON, NY, OCT 13-16, 1997

Indexação

ISI Web of Knowledge - 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-001-CR6

Abstract (EN): One of the advantages of logic programming in the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism Recently, research has been concentrated on integrating the different forms of parallelism into a single combined system. In this work we concentrate on the problem of integrating or-parallelism and independent and-parallelism for parallel Prolog systems. We contend that previous data structures require pure recomputation and therefore do not allow for orthogonality between and parallelism and or-parallelism. In contrast, we submit that a simpler solution, the sparse binding array, does guarantee this goal, and explain in detail how independent and-parallelism and or-parallelism can thus be efficiently combined.

Idioma: Inglês

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

Nº de páginas: 15