Abstract
Using the framework of the parallel logical language. Concurrent Prolog, the concepts and the strategies for the parallel logic simulation are defined. Some types of a prototypical parallel logic simulator are implemented by Concurrent Prolog, and they are used for logic simulations of some sample objects. The performance and the applicability of Concurrent Prolog in the parallel logic simulation will be discussed.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Reference
Chandy K. Misra J (1979): Distributed Simulation: A Case Study in Design and Verification of Distributed Program. IEEE Trans. on Software Engineering. No. 5, SE-5.
Furukawa K. Takeuchi A. Kunifuji S (1984): Mandala: Knowledge Programming System on the Logic Programming Language. ICOT Technical Report. TR-043, (in Japanese).
Koekawa I, Nakagawa H (1981): On the evaluation of the parallel type logical simulator, Research Memo 10-9, JIPS, (in Japanese).
Noda Y, Kinoshita T, Okumura A, Hirano T (1984): On the structure of the CAD system. Logic Programming Conference 84, 14–5, (in Japanese).
Shapiro Y (1983): A Subset of Concurrent Prolog and its Interpreter, ICOT Technical Report. TR-003.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Noda, Y., Kinoshita, T., Okumura, A., Hirano, T., Hiruta, T. (1986). A parallel logic simulator based on Concurrent Prolog. 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_25
Download citation
DOI: https://doi.org/10.1007/3-540-16479-0_25
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