Design and performance measurements of an execution model for the parallel processing of Prolog programs

This paper presents a hierarchical parallel execution model for Prolog programs, the execution model is based on Or-parallelism/And-parallelism as coarse-grain parallelism, and parallel unification as fine-grain parallelism. At the coarse-grain parallelism level we propose an extended And-Or tree. C...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE First ICA³PP, IEEE First International Conference on Algorithms and Architectures for Parallel Processing, Brisbane, Australia, 19-21 April, 1995 Ročník 2; s. 650 - 658 vol.2
Hlavní autoři: Dong Wang, Kobayashi, H., Nakamura, T.
Médium: Konferenční příspěvek
Jazyk:angličtina
japonština
Vydáno: IEEE 19.11.2002
Témata:
Application software
Artificial intelligence
Design engineering
Expert systems
Logic programming
Machine intelligence
Parallel processing
Programming profession
Spatial databases
Systems engineering and theory
ISBN:9780780320185, 0780320182
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This paper presents a hierarchical parallel execution model for Prolog programs, the execution model is based on Or-parallelism/And-parallelism as coarse-grain parallelism, and parallel unification as fine-grain parallelism. At the coarse-grain parallelism level we propose an extended And-Or tree. Consequently, the tree can exploit high degree of parallelism from Prolog programs. Exploiting parallelism of Prolog programs is based an the binding-arrays method for Or-parallelism and the restricted And-parallelism (RAP) method for And-parallelism. At the fine-grain parallelism level, parallel unification is performed. In general, the parallel unification consists of parallel argument matching and consistency checking. However, since the RAP method does not need consistency checking, consistency checking at the fine-grain parallelism level is also removed. The measurements of the parallelism degree of this model are also to be presented in this paper.< >
ISBN:9780780320185
0780320182
DOI:10.1109/ICAPP.1995.472252