Skip to main content
SpringerLink
Log in
Book cover

Conference on Logic Programming

LP 1985: Logic Programming '85 pp 192–203Cite as

Design and evaluation of a Prolog compiler

  • Conference paper
  • First Online:

  • 153 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 221))

Abstract

This paper discusses a Prolog compiler for the FACOM α, a symbolic data processing machine. The compiler includes several optimization algorithms, such as separated predicate frames, extended mode declaration, and fast goal invocation. Compiled programs run at 30 to 40 KLIPS.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • AKIMOTO H (1985) Evaluation of the dedicated Hardware in FACOM ALPHA. IEEE 1985 COMPCON SPRING

    Google Scholar 

  • Okuno H (1984) Proposed problems for 3rd LISP contest and 1st Prolog contest. (In Japanese) IPSJ, SYM, 28-4

    Google Scholar 

  • Tick E, Warren DHD (1984) Towards a pipelined Prolog processor. 1984 International Symposium on Logic Programming

    Google Scholar 

  • Warren DHD (1977) Implementing Prolog — compiling predicate programs. DAI Research Report 39-40, Univ. of Edinburgh

    Google Scholar 

  • Warren DHD (1980) An improved Prolog implementation which optimizes tail recursion. 1980 Logic Programming Workshop, Debrecen, Hungary

    Google Scholar 

  • Warren DHD (1983) An abstract Prolog instruction set. Tech Note 309, AIC SRI International

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FUJITSU LIMITED, 1015 Kamikodanaka Nakahara-ku, 211, Kawasaki, Japan

    M. Kishimoto, T. Shinogi, Y. Kimura & A. Hattori

Authors
  1. M. Kishimoto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. T. Shinogi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Y. Kimura
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. Hattori
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eiiti Wada

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kishimoto, M., Shinogi, T., Kimura, Y., Hattori, A. (1986). Design and evaluation of a Prolog compiler. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-16479-0_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16479-1

  • Online ISBN: 978-3-540-39820-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation