在深度优先搜索中，每次选择深度最深的节点首先扩展，而宽度优先搜索则正好相反，每次选择深度最浅的节点优先扩展。

归结方法的特点是简单，易于程序实现。 点击查看答案

基于规则的正向演绎系统，就是不断的对与或图施以规则变换，直到找到一个解图，该解图中的所有叶节点全部都与目标公式中的文字匹配为止。 点击查看答案