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.
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
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