面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统．在谓词声明中，类型由有序的构子构造而成．子句中变量类型由类型推理决定．对象类型由方法声明决定，独立于继承，便于代码复用．它可作为基类型参与项类型构造．

对象式逻辑语言LKO的实现技术

本文首先介绍对象式逻辑程序设计语言LKO的基本概念,然后讨论其转换系统的系统结构、主要数据结构及关键算法。