| 面向对象逻辑语言LKO的类型系统 |
| |
| 引用本文： | 徐殿祥,郑国梁.面向对象逻辑语言LKO的类型系统[J].计算机研究与发展,1998,35(3):246-250. |
| |
| 作者姓名： | 徐殿祥 郑国梁 |
| |
| 作者单位： | 南京大学计算机科学与技术系(徐殿祥)，南京大学计算机软件新技术国家重点实验室(郑国梁) |
| |
| 基金项目： | “863”高科技计划,国家自然科学基金 |
| |
| 摘 要： | 文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。
|
| 关 键 词： | 面向对象 程序设计 类型 逻辑语言 LKO语言 |
A TYPE SYSTEM FOR THE OBJECT ORIENTED LOGIC LANGUAGE LKO |
| |
| Xu Dianxiang and Zheng Guoliang.A TYPE SYSTEM FOR THE OBJECT ORIENTED LOGIC LANGUAGE LKO[J].Journal of Computer Research and Development,1998,35(3):246-250. |
| |
| Authors: | Xu Dianxiang and Zheng Guoliang |
| |
| Abstract: | The ordered type system based on type declaration and type inference is presented for the object oriented logic language LKO. The types in predicate declarations are built by ordered constructors, which results in natural subtyping relationship. The types of variables in clauses are inferred by the system. Objects are classified in terms of method declarations, so inheritance is independent of subtyping. As base types, classes may be applied in complex type construction. |
| |
| Keywords: | object oriented programming logic programming type inheritance |
| 本文献已被 CNKI 维普 等数据库收录！ |
