Prolog正向推理机  

Prolog Forward Inference Engine

作　　者：陶文祥[1] 曾湘燕[1] 周中一[1] 浦恩沸[1] 

机构地区：[1]西北师范大学计算机科学系

出　　处：《微电子学与计算机》1991年第8期14-16,共3页Microelectronics & Computer

摘　　要：本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.

关 键 词：PROLOG语言 正向推理机 推理策略 关系数据库 动态数据库 

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