Abstract
In this paper we report on our experiment on Prolog compiler technology. Targeted properties of the compiler are efficiency and portability. The generated code attained so far is efficient enough to gain more than 1 MEGA LIPS on IBM 3090. One of the specialities of the compiler is in the intermediate Virtual Prolog Machine Code, which enhanced efficiency and portability. Another advantage of the compiler is to generate PL.8 code which can be used on multiple machines including the IBM 370 and IBM RT-PC. We also introduce some declarative extensions , which are compatible with Prolog and powerful enough to produce efficient code.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Auslander M. and Hopkins M.(1982) “An Overview of the PL.8 Compiler”, Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Volume 17, Number 6.
Bowen D.L.(1981) “DEC system-10 PROLOG USER'S MANUAL”, Dept. of Artificial Intelligence, Univ. of Edinburgh.
Clocksin W. F. and Mellish C. S.(1981), “Programming in Prolog”, Springer-Verlag.
International Business Machines Corporation(1986), “VM / Programming in Logic, Program Description / Operations Manual”, No.SH20-6541-0.
International Business Machines Corporation(1985), “RT Personal Computer Technology”, No.SA23-1057.
Kurokawa T.(1982), “LOGIC PROGRAMMING — What does it bring to the software engineering”, Proceedings of First International Conference on Logic Programming, pp.134–138, Marseille.
Moto-Oka T.(1982), (ed.) “Fifth Generation Computer Systems”, North-Holland.
Tamura N.(1986), “Knowledge based optimization in Prolog compiler”, to appear in Proc. of the 1986 ACM/IEEE Computer Society Fall Joint Computer Conference.
Numao M. and Fujisaki T.(1985), “Visual Debugger for Prolog”, Proc. of The Second Conference on Artificial Intelligence Applications, pp.422–427, IEEE Computer Society.
Okuno H.(1984), “The benchmarks for The Third Lisp Contest and The First Prolog Contest”, Information Processing Society of Japan, WGSYM No.20-4.
Tick E. and Warren D.H.D.(1984), “Towards a Pipelined Prolog Processor”, Proc. of 1984 International Symposium on Logic Programming, IEEE Computer Society.
Warren D.H.D.(1980), “An Improved Prolog Implementation which Optimises Tail Recursion”,Proc. of Logic Programming Workshop, pp.1–11.
Warren D.H.D.(1983), “An Abstract Prolog Instruction Set”, SRI International Technical Note 309.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Komatsu, H., Tamura, N., Asakawa, Y., Kurokawa, T. (1987). An optimizing prolog compiler. In: Wada, E. (eds) Logic Programming '86. LP 1986. Lecture Notes in Computer Science, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18024-9_26
Download citation
DOI: https://doi.org/10.1007/3-540-18024-9_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18024-1
Online ISBN: 978-3-540-47712-9
eBook Packages: Springer Book Archive