| 对象式逻辑程序设计语言LKO的说明性语义 |
| |
| 引用本文： | 徐殿祥,关国梁.对象式逻辑程序设计语言LKO的说明性语义[J].计算机学报,1996,19(11):841-847. |
| |
| 作者姓名： | 徐殿祥 关国梁 |
| |
| 作者单位： | 南京大学计算机科学与技术系 |
| |
| 摘 要： | 本文基于逻辑程序设计语言的良基模型语义，探讨了对象逻辑程序设计语言ＬＫＯ的说明性语义，该语义由组合迭代的极小不动点定义，具有构造性和组合性，迷在ＬＫＯ中进一步引入非单调继承和逻辑奠定了基础。
|
| 关 键 词： | 逻辑程序设计 说明性语义 LKO语言 程序语言 |
THE DECLARATIVE SEMANTICS OF THE OBJECT-ORIENTEDLOGIC PROGRAMMING LANGUAGE LKO |
| |
| Xu Dianxiang and Zheng Guoliang.THE DECLARATIVE SEMANTICS OF THE OBJECT-ORIENTEDLOGIC PROGRAMMING LANGUAGE LKO[J].Chinese Journal of Computers,1996,19(11):841-847. |
| |
| Authors: | Xu Dianxiang and Zheng Guoliang |
| |
| Abstract: | 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. |
| |
| Keywords: | Logic programming object-oriented programming declarative semantics inheritance |
| 本文献已被 CNKI 维普 等数据库收录！ |
