Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
Clark KL, Gregory S (1984) PARLOG:Parallel Programming in Logic, Research Report DOC 84/4, Dept. of Computing, Imperial College, London
INMOS Limited (1984) Occam Programming Manual, Prentice-Hall International Series in Computer Science
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 Angeles
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, Tokyo
Onai R, Shimizu H, Masuda K, Aso M (1984) Analysis of Sequential Prolog Programs, ICOT TR-048
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–228
Pereira LM, Nasr R (1984) DELTA-PROLOG: A Distributed Logic Language, Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo
Shapiro EY (1983) A subset of Concurrent Prolog and Its Interpreter, ICOT TR-003
Sugie M, et.al. (1985) Hardware Simulator Implementation of PIM-R, Logic Programming Conference '85, Tokyo
Ueda K (1985) Guarded Horn Clauses, ICOT TR-103
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Onai, R., Shimizu, H., Masuda, K., Matsumoto, A., Aso, M. (1986). Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-16479-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16479-1
Online ISBN: 978-3-540-39820-2
eBook Packages: Springer Book Archive