Skip to main content
SpringerLink
Log in

Data abstraction in Prolog/KR

  • Regular Papers
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

Data abstraction and inheritance, some of the most important features in constructing a large, clean software system, in a logic programming language Prolog/KR, an expansion of Prolog, are described. First two kinds of processes are added; one is called NPO, which is mainly used to implement a generator, the other is called CPO, which is mainly used to implement an abstract data object. Then synchronization features are added to implement abstract data types that can be used concurrently. Using this feature it is possible to employ pipes for communications among processes. Finally, inheritance mechanism is added to define hierarchies among objects.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Clark, D. W., Lampson, B. W., and Pier, K. A.: The Memory System of a High-Performance Personal Computer,CSL-81-1 (Xerox Palo Alto Research Center, Palo Alto CA, 1981) 51.

    Google Scholar 

  2. Clark, K., and Tarnlund, S. A.: A First Order Theory of Data and Programs, Proc. IFIP (1977) 939.

  3. Goldberg, A.: Introducing the Smalltalk-80 System, BYTE,6 (1981) 14.

    Google Scholar 

  4. Guttag, J. H., Horowitz, E., and Musser, D. R.: Abstract Data Types and Software Validation, CACM,21, No. 12 (1978) 1048.

    MATH  MathSciNet  Google Scholar 

  5. Liskov, B., and Zilles, S.: Programming with Abstract Data Types, SIGPLAN Notices,9, No. 4 (1974) 50.

    Article  Google Scholar 

  6. Nakashima H.: Prolog/KR User’s Manual,METR 82-4 (University of Tokyo, Tokyo, 1982).

    Google Scholar 

  7. Nakashima H.: Prolog/KR—Language Features, Proc. of the First Int. Logic Programming Conf. (ADDP, Marseille, 1982) 65.

    Google Scholar 

  8. Nakashima H.: A Knowledge Representation System: Prolog/KR,METR 83-5 (University of Tokyo, Tokyo, 1983).

    Google Scholar 

  9. Shapiro, E.: A Subset of Concurrent Prolog and Its Interpreter, ICOT Technical Report,TR-003 (ICOT, Tokyo, 1983).

    Google Scholar 

  10. Suzuki, N.: Experience with Specification and Verification of Hardware Using PROLOG, Proc. of Working Conf. on VLSI Eng. (IBM Japan, Tokyo, 1982) 105.

    Google Scholar 

Download references

Author information

Author notes

  1. Hideyuki Nakashima

    Present address: Electrotechnical Laboratory, Sakura-mura, Niihari-gun, 305, Ibaraki

Authors and Affiliations

  1. Department of Mathematical Engineering, The University of Tokyo, 3-1 Hongo 7-chome, Bunkyo-ku, 113, Tokyo

    Hideyuki Nakashima & Norihisa Suzuki

Authors
  1. Hideyuki Nakashima
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Norihisa Suzuki
    View author publications

    You can also search for this author in PubMed Google Scholar

About this article

Cite this article

Nakashima, H., Suzuki, N. Data abstraction in Prolog/KR. NGCO 1, 49–62 (1983). https://doi.org/10.1007/BF03037021

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037021

Keywords

Search

Navigation