Data abstraction in Prolog/KR

DOI

Search this article

Description

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.

Journal

Details 詳細情報について

  • CRID
    1871709542929948160
  • DOI
    10.1007/bf03037021
  • ISSN
    18827055
    02883635
  • Data Source
    • OpenAIRE

Report a problem

Back to top