Abstract
This paper summarizes the principal results of the simulation of the COALA (Calculateur Orienté Acteurs pour la Logique et ses Applications) machine : an Actor-Oriented Computer for Logic and its Applications.
The simulation was supported by two basic software systems : a functional simulator simulating the functional aspects of the distributed interpreter written in PASCAL and a system simulator written in T-PROLOG, a simulation language based on PROLOG.
The system simulator enabled us to obtain the duration of execution of PROLOG programs executed on the COALA machine and to compare the effects of various numbers of processing elements and various network topologies on the overall performance of COALA.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Amamiya, R. Hasegawa — A Logic Program Execution based on Data-Flow Control — Proc. Logic Programming Conference 84, November 1984, pp. 507–516.
J.S. Conery, D.F. Kibler — AND Parallelism and Nondeterminism in Logic Programs — New Generation Computing — 1985, Vol. 3, pp. 43–70.
I. Futó, J. Szeredi — System Simulation and Co-operative Problem-Solving on a PROLOG basis — Implementations of PROLOG — ed. J. Campbell, Ellis Hortwood Ltd., England — 1984, pp. 164–174.
I. Futó, C. Percebois, I. Durand, C. Simon, B. Bonhoure — Simulation Study of a Multiprocessor PROLOG Architecture — First Italian Conference on Logic Programming, Genova, Italy, March 1986 (invited paper).
C. Hewitt, H. Lieberman — Design Issues in Parallel Architectures for Artificial Intelligence — COMPCON Spring 1984, February 1984, pp. 418–423.
R.M. Keller, G. Lindstrom, S. Patil — A Loosely Coupled Applicative Multi-Processing System — AFIPS Press, 1979, pp. 613–622.
R.M. Keller, F.C.H. Lin, J. Tanaka — Rediflow Multiprocessing — COMPCON Spring 1984, February 1984, pp. 410–417.
R. Kowalski — Logic for Problem Solving — The Computer Science Library, Elsevier, 1979.
K. Murakami, T. Kakuta, R. Onai — Architecture and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine — Proc. International Conference on Fifth Generation Computer Systems 1984, November 1984, pp. 18–36.
R. Onai, M. Aso, M. Shimizu, K. Masuda — Architecture of a Reduction-Based Parallel Machine: PIM-R — New Generation Computing — 1985, Vol. 3, pp. 197–228.
C. Percebois, I. Futó, I. Durand, C. Simon, B. Bonhoure — An Actor-Oriented Multiprocessor Architecture for PROLOG: COALA — First Italian Conference on Logic Programming, Genova, Italy, March 1986 (invited paper).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Percebois, C., Futó, I., Durand, I., Simon, C., Bonhoure, B. (1987). Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds) TAPSOFT '87. TAPSOFT 1987. Lecture Notes in Computer Science, vol 250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014977
Download citation
DOI: https://doi.org/10.1007/BFb0014977
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17611-4
Online ISBN: 978-3-540-47717-4
eBook Packages: Springer Book Archive