This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Kowalski, R., “Predicate Logic as Programming Language,” Information Processing 74, North-Holland, pp.569–574, 1974.
Roussel, P., “Prolog: Manual de Reference et d'Utilisation,” Groupe d'Intelligence Artificielle, Marseille-Luminy, Sept. 1975.
Warren D.H.D. et al., “Prolog-The Language and its Implementation Compared with Lisp,” Proc. Symposium on Artificial Intelligence and Programming Languages, pp.109–115, 1977.
Futamura, Y. et al., “Development of computer programs by PAD,” Proc. of the Fifth International Conference on Software Engineering, 1982.
Chang, C. L. and Lee, R. C., “Symbolic Logic and Mechanical Theorem Proving,” Academic Press, 1974.
Bruynooghe, M., “The Memory Management of PROLOG Implementation,” Logic Programming Workshop, 1980.
Mellish, C.S., “An Alternative to Structure-Sharing in the Implementation of A Prolog Interpleter,” Logic Programming Workshop, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Matsumoto, Y., Nitta, K., Furukawa, K. (1984). Prolog interpreter and its parallel extension. In: Kunii, T.L. (eds) VLSI Engineering. Lecture Notes in Computer Science, vol 163. Springer, Tokyo. https://doi.org/10.1007/BFb0043448
Download citation
DOI: https://doi.org/10.1007/BFb0043448
Published:
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-70002-9
Online ISBN: 978-4-431-36817-5
eBook Packages: Springer Book Archive