节点文献
Prolog正向推理机
Prolog Forward Inference Engine
【摘要】 本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.
- 【文献出处】 微电子学与计算机 ,Microelectronics & Computer , 编辑部邮箱 ,1991年08期
- 【被引频次】4
- 【下载频次】76
【摘要】 本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.