可演绎系统的研究  

作　　者：李磊[1] J.Kouloumdjian 

机构地区：[1]中山大学岭南学院计算机系,广州510275 [2]INSA 信息科学实验室

出　　处：《计算机科学》1993年第3期23-25,共3页Computer Science

摘　　要：本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究内容及其原因进行了讨论。

关 键 词：可演绎系统 演绎数据库 

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