论文部分内容阅读
本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.
This article introduces a kind of Prolog forward reasoning engine designed by the author. This article focuses on several important predicates of its reasoning strategy and its concrete realization, and points out the advantages and disadvantages of the inference engine and the future research directions.