Introduction of a package system into Prolog

  • Hiroaki Etoh
  • Naoyuki Tamura
  • Yasuo Asakawa
  • Toshiyuki Hama
  • Hideaki Komatsu
Programming Languages And Implementation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 315)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Warren, D. H. D., An Abstract Prolog Instruction Set, Technical Note 309, Artificial Intelligence Center, Computer Science and Technology Division, SRI International, 1983.Google Scholar
  2. 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.Google Scholar
  3. Turk, A.K. (1986), Compiler Optimizations for the WAM, the Lecture Notes in Computer Science 225, pp.656–662, Springer-Verlag, Berlin, 1986.Google Scholar
  4. Bowen,D.L. (1981), DECsystem-10 PROLOG USER'S MANUAL, Department of Artificial Intelligence, Univ. of Edinburgh,1981.Google Scholar
  5. Steele Jr.,G.L. (1984), Common Lisp: the Language, Digital Press, 1984.Google Scholar
  6. Dömölki (1983),B.,Szeredi,P. Prolog in Practice, Proc. Information Processing 83, pp.627–636, Elsevier Science Publishers B.V., 1983.Google Scholar
  7. SzKI, MPROLOG LANGUAGE REFERENCE (1985), Release 2.1, Logicware Inc., 1985.Google Scholar
  8. International Business Machines Co. (1985), VM/Programming in Logic 5785-ABH Program Description/Operations Manual, SH20-6541-0, 1985.Google Scholar
  9. Wirth, N., Programming in modula-2 (1985), Springer-Verlag, Berlin, 1985.Google Scholar

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Hiroaki Etoh
    • 1
  • Naoyuki Tamura
    • 1
  • Yasuo Asakawa
    • 1
  • Toshiyuki Hama
    • 1
  • Hideaki Komatsu
    • 1
  1. 1.Tokyo Research Laboratory, IBM Japan, Ltd.IBM ResearchTokyoJapan

Personalised recommendations