Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R
This paper proposes a Reduction-based Parallel Inference Machine : PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.
KeywordsParent Process Ground Instance Message Board Prolog Program Structure Area
Unable to display preview. Download preview PDF.
- Clark KL, Gregory S (1984) PARLOG:Parallel Programming in Logic, Research Report DOC 84/4, Dept. of Computing, Imperial College, LondonGoogle Scholar
- INMOS Limited (1984) Occam Programming Manual, Prentice-Hall International Series in Computer ScienceGoogle Scholar
- Ito N, Masuda K (1984) Parallel Inference Machine Based on the Data Flow Model, Proc. of the International Workshop on High Level Computer Architecture 84, Los AngelesGoogle Scholar
- Moto-oka T, Tanaka H, et al (1984) The Architecture of a Parallel Inference Engine-PIE-, Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, TokyoGoogle Scholar
- Onai R, Shimizu H, Masuda K, Aso M (1984) Analysis of Sequential Prolog Programs, ICOT TR-048Google Scholar
- Onai R, Aso M, Shimizu H, Masuda K, Matsumoto A (1985) Architecture of a Reduction-based Parallel Inference Machine:PIM-R, New Generation Computing, vol 3/2, Ohmsha, Springer-Verlag, p 197–228Google Scholar
- Pereira LM, Nasr R (1984) DELTA-PROLOG: A Distributed Logic Language, Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, TokyoGoogle Scholar
- Shapiro EY (1983) A subset of Concurrent Prolog and Its Interpreter, ICOT TR-003Google Scholar
- Sugie M, et.al. (1985) Hardware Simulator Implementation of PIM-R, Logic Programming Conference '85, TokyoGoogle Scholar
- Ueda K (1985) Guarded Horn Clauses, ICOT TR-103Google Scholar