对象式逻辑程序设计语言LKO的说明性语义  

THE DECLARATIVE SEMANTICS OF THE OBJECT-ORIENTEDLOGIC PROGRAMMING LANGUAGE LKO

作　　者：徐殿祥[1] 郑国梁[1] 

机构地区：[1]南京大学计算机科学与技术系

出　　处：《计算机学报》1996年第11期841-847,共7页Chinese Journal of Computers

摘　　要：本文基于逻辑程序设计语言的良基模型语义，探讨了对象式逻辑程序设计语言ＬＫＯ的说明性语义．该语义由组合迭代的极小不动点定义，具有构造性和组合性，为在ＬＫＯ中进一步引人非单调继承和逻辑理论奠定了基础．Taking the well-founded model semantics of logic programming languages as a basis, this paper presents a declarative semantics for the object-oriented logic programming language LKO. The semantics is defined by compositionally iterated least fixed points of operators, and shows constructive and compositional.Based on this, non-monotonic logic theories and inheritance may be naturally introduced into objects in a logic framework.

关 键 词：逻辑程序设计 说明性语义 LKO语言 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]