Advertisement

Development of C-Prolog compiler

  • Ken'ichi Kakizaki
  • Kuniaki Uehara
  • Jun'ichi Toyoda
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 264)

Abstract

We describe the design, implementation and performance for C-Prolog Compiler. C-Prolog Compiler is an in-core, incremental and native code compiler based on C-Prolog interpreter developed by Pereira et. al. (1984) The compiler runs on Data General's MV/800011, and the produced code gains about 25K LIPS.

Keywords

Assembly Code Transfer Control Prolog Program Parent Goal Prolog Interpreter 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Okuno HG (1985) The proposal of the benchmarks for The Third Lisp Contest and The First Prolog Contest. No.28–4, Report of WGSYM. IPSJGoogle Scholar
  2. Pereira F (1984) C-Prolog User's Manual. Dept. of Architecture University of EdinburghGoogle Scholar
  3. Pereira LM, Pereira FCN, Warren DHD (1978) User's Guide to DECsystem-10 Prolog. Dept. of Artificial Intelligence University of EdinburghGoogle Scholar
  4. Warren DHD (1980a) Implementing Prolog — compiling predicate logic programs. Research Reports 39 & 40. Dept. of Artificial intelligence University of EdinburghGoogle Scholar
  5. Warren DHD (1980b) Improved Prolog Implementation Which Optimises Tail Recursion. Research Paper No.141. Dept. of Artificial intelligence University of EdinburghGoogle Scholar
  6. Warren DHD (1983) An Abstract Prolog Instruction Set. Technical Note 309. SRI InternationalGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Ken'ichi Kakizaki
    • 1
  • Kuniaki Uehara
    • 1
  • Jun'ichi Toyoda
    • 1
  1. 1.The Institute of Scientific and Industrial ResearchOsaka UniversityIbaraki, OsakaJapan

Personalised recommendations