EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。

A*算法中，如果h满足单调条件，就一定不会出现重复扩展节点问题。

判断题A*算法中，如果h满足单调条件，就一定不会出现重复扩展节点问题。

归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。

判断题归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。

扩展节点可使定义的隐含图生成为显式表示的状态空间图。

判断题扩展节点可使定义的隐含图生成为显式表示的状态空间图。