An optimizing prolog compiler

  • Hideaki Komatsu
  • Naoyuki Tamura
  • Yasuo Asakawa
  • Toshiaki Kurokawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 264)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.Google Scholar
  2. Bowen D.L.(1981) “DEC system-10 PROLOG USER'S MANUAL”, Dept. of Artificial Intelligence, Univ. of Edinburgh.Google Scholar
  3. Clocksin W. F. and Mellish C. S.(1981), “Programming in Prolog”, Springer-Verlag.Google Scholar
  4. International Business Machines Corporation(1986), “VM / Programming in Logic, Program Description / Operations Manual”, No.SH20-6541-0.Google Scholar
  5. International Business Machines Corporation(1985), “RT Personal Computer Technology”, No.SA23-1057.Google Scholar
  6. 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.Google Scholar
  7. Moto-Oka T.(1982), (ed.) “Fifth Generation Computer Systems”, North-Holland.Google Scholar
  8. Tamura N.(1986), “Knowledge based optimization in Prolog compiler”, to appear in Proc. of the 1986 ACM/IEEE Computer Society Fall Joint Computer Conference.Google Scholar
  9. 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.Google Scholar
  10. Okuno H.(1984), “The benchmarks for The Third Lisp Contest and The First Prolog Contest”, Information Processing Society of Japan, WGSYM No.20-4.Google Scholar
  11. Tick E. and Warren D.H.D.(1984), “Towards a Pipelined Prolog Processor”, Proc. of 1984 International Symposium on Logic Programming, IEEE Computer Society.Google Scholar
  12. Warren D.H.D.(1980), “An Improved Prolog Implementation which Optimises Tail Recursion”,Proc. of Logic Programming Workshop, pp.1–11.Google Scholar
  13. Warren D.H.D.(1983), “An Abstract Prolog Instruction Set”, SRI International Technical Note 309.Google Scholar

Copyright information

© Springer-Verlag 1987

Authors and Affiliations

  • Hideaki Komatsu
    • 1
  • Naoyuki Tamura
    • 1
  • Yasuo Asakawa
    • 1
  • Toshiaki Kurokawa
    • 1
  1. 1.IBM Tokyo Research LaboratoryTokyoJAPAN

Personalised recommendations