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

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

机构地区：[1]南京大学

出　　处：《软件》1995年第3期1-7,共7页Software

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

关 键 词：逻辑语言 LKO语言 程序语言 逻辑程序设计 

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