Preview
Unable to display preview. Download preview PDF.
References
St.J. Garland and D.C. Luckham. "Program schemes, recursion schemes, and formal languages", Journal of Computer and System Sciences, Vol. 7 (1973), 119–160.
Sh.A. Greibach. "Theory of program structures: Schemes, semantics, verification", Lecture Notes in Computer Science, Vol. 36, Springer Verlag, 1975.
A.Ja. Dikovskii. "Strongly bounded density recursion schemes are translatable into standard schemes". In: Mathematical logics, mathematical linguistics, and algorithms theory (Russ.), Kalinin, (1983), 31–39.
K.L. Clark and F.G. McCabe. "Micro-PROLOG: programming in logic". Prentice-Hall, Englewood Cliffs, N.J., 1984.
C.G. Hogger. "Introduction to logic programming", Academic Press, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dikovskii, A. (1989). Space considerations in Prolog. In: Meyer, A.R., Taitslin, M.A. (eds) Logic at Botik '89. Logic at Botik 1989. Lecture Notes in Computer Science, vol 363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51237-3_9
Download citation
DOI: https://doi.org/10.1007/3-540-51237-3_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51237-0
Online ISBN: 978-3-540-46180-7
eBook Packages: Springer Book Archive