Abstract
In this paper we introduce a package system enabling Prolog to support modularity and separate compilation. A package system is for the development of large systems and is an important feature when coding is done by a number of programmers.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Warren, D. H. D., An Abstract Prolog Instruction Set, Technical Note 309, Artificial Intelligence Center, Computer Science and Technology Division, SRI International, 1983.
Kurokawa (1986),T.,Tamura,N.,Asakawa,Y.,and Komatsu,H., A Very Fast Prolog Compiler on Multiple Architecture, Proc. of the 1986 ACM/IEEE Computer Science Fall Joint Computer Conference, pp.963–968,Dallas, 1986.
Turk, A.K. (1986), Compiler Optimizations for the WAM, the Lecture Notes in Computer Science 225, pp.656–662, Springer-Verlag, Berlin, 1986.
Bowen,D.L. (1981), DECsystem-10 PROLOG USER'S MANUAL, Department of Artificial Intelligence, Univ. of Edinburgh,1981.
Steele Jr.,G.L. (1984), Common Lisp: the Language, Digital Press, 1984.
Dömölki (1983),B.,Szeredi,P. Prolog in Practice, Proc. Information Processing 83, pp.627–636, Elsevier Science Publishers B.V., 1983.
SzKI, MPROLOG LANGUAGE REFERENCE (1985), Release 2.1, Logicware Inc., 1985.
International Business Machines Co. (1985), VM/Programming in Logic 5785-ABH Program Description/Operations Manual, SH20-6541-0, 1985.
Wirth, N., Programming in modula-2 (1985), Springer-Verlag, Berlin, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Etoh, H., Tamura, N., Asakawa, Y., Hama, T., Komatsu, H. (1988). Introduction of a package system into Prolog. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '87. LP 1987. Lecture Notes in Computer Science, vol 315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19426-6_8
Download citation
DOI: https://doi.org/10.1007/3-540-19426-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19426-2
Online ISBN: 978-3-540-39267-5
eBook Packages: Springer Book Archive