一种用于逆向推理的Prolog元级解释器  

A Prolog Meta-Level Interprtcr Used for Backward Inference

作　　者：陶文祥[1] 曾湘燕[1] 牛忠慈[2] 

机构地区：[1]西北师范大学计算机科学系,兰州730070 [2]甘肃省经济管理干部学院

出　　处：《微电子学与计算机》1993年第8期21-22,26,共3页Microelectronics & Computer

摘　　要：本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。This paper intcoduces a prolog mcta-level infcrpreter designed and implemented by the authers.The interpreter solves the problem of backward infernce when the knowledge is represented by transformed rul(?) forms.

关 键 词：逆向推理 专家系统 元级解释器 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]