为了提高推理引擎的推理效率,将 Rete 算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用 Lisp 语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表明该推理引擎具有更高的推理效率. In order to improve the reasoning efficiency of the reasoning engine, Rete algorithm and equivalence class reasoning technology are integrated into the rule-based geometric automatic reasoning system to construct a new reasoning engine, that is, the geometric automatic reasoning network based on equivalent reasoning. The language implements this reasoning engine and does more than 50 experiments on non-trivial geometric theorems. The experimental results show that this reasoning engine has higher reasoning efficiency.