THE RESEARCH AND IMPLEMENTATION OF COMBINING LOGIC WITH OBJECTORIENTED

THE RESEARCH AND IMPLEMENTATION OF COMBINING LOGIC WITH OBJECTORIENTED PARADIGM

ＴＨＥＲＥＳＥＡＲＣＨＡＮＤＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＣＯＭＢＩＮＩＮＧＬＯＧＩＣＷＩＴＨＯＢＪＥＣＴＯＲＩＥＮＴＥＤＰＡＲＡＤＩＧＭＺｈｏｕＬｉ；ＷｕＱｕａｎｙｕａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＮＵＤＴ，Ｃｈａｎ...

An object-oriented Prolog interpreter GKD-OOPS based on a modular Prolog system is dseigned and implemented. It supports the concepts such as modularity, information encapsulation, data abstraction and message passing which are usually used in largeknowledge processing systems. This paper describes the conceptual structure, the languagespecification, the logic semantics, system organization and architecture and related objectprimitives of GKD-OOPS.