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

Dong Wang, Hiroaki Kobayashi, Tadao Nakamura

研究成果: Paper査読

抄録

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 on 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.

本文言語English
ページ650-658
ページ数9
出版ステータスPublished - 1995 1 1
イベントProceedings of the IEEE 1st International Conference on Algorithms and Architectures for Parallel Processing. Part 1 (of 2) - Brisbane, Aust
継続期間: 1995 4 191995 4 21

Other

OtherProceedings of the IEEE 1st International Conference on Algorithms and Architectures for Parallel Processing. Part 1 (of 2)
CityBrisbane, Aust
Period95/4/1995/4/21

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)
  • 工学(全般)

引用スタイル