Skip to main content
SpringerLink
Log in

Introduction of a package system into Prolog

  • Programming Languages And Implementation
  • Conference paper
  • First Online:
Logic Programming '87 (LP 1987)

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

Included in the following conference series:

  • 127 Accesses

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 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 

  • 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 

  • 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 

  • Bowen,D.L. (1981), DECsystem-10 PROLOG USER'S MANUAL, Department of Artificial Intelligence, Univ. of Edinburgh,1981.

    Google Scholar 

  • Steele Jr.,G.L. (1984), Common Lisp: the Language, Digital Press, 1984.

    Google Scholar 

  • 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 

  • SzKI, MPROLOG LANGUAGE REFERENCE (1985), Release 2.1, Logicware Inc., 1985.

    Google Scholar 

  • International Business Machines Co. (1985), VM/Programming in Logic 5785-ABH Program Description/Operations Manual, SH20-6541-0, 1985.

    Google Scholar 

  • Wirth, N., Programming in modula-2 (1985), Springer-Verlag, Berlin, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tokyo Research Laboratory, IBM Japan, Ltd., IBM Research, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan

    Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama & Hideaki Komatsu

Authors
  1. Hiroaki Etoh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Naoyuki Tamura
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yasuo Asakawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Toshiyuki Hama
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hideaki Komatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Etoh, H., Tamura, N., Asakawa, Y., Hama, T., Komatsu, H. (1988). Introduction of a package system into Prolog. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '87. LP 1987. Lecture Notes in Computer Science, vol 315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19426-6_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-19426-6_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19426-2

  • Online ISBN: 978-3-540-39267-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation