2、反向连接算法：
a、快，但不完备
b、从结论推出前提然后进行匹配。：
①、扫描知识库，找到结论为最终结论的事实
②、将找到的结论中的相应的变量进行置换，得到新的实例化后的结论
③、以新的实例化后的结论为目标，找到能够推导出该结论的前提条件
④、将找到的前提条件中的相应变量进行置换
⑤、重复，直到与知识库中的已知条件相吻合
c、举例：
题目同上
首先，找到能推导出结论的前提条件
然后，找出能推导出前提条件的前提条件
如果最终找到的前提条件与已知条件满足，则证明结论为真。
d、深度优先递归搜索：搜索空间与证明规模成线性关系，与极大极小值搜索类似
①、首先调用or，因为只要一种路径能够推导出最终结论即可。
②、然后调用and，因为在这一种路径中需要所有的条件都满足才能推出
③、然后调用or，因为在条件中，可能有多种路径，但只要一种路径满足即可
由此可以看出来，是or-and的相互调用的嵌套递归
e、递归实现，但要注意多条路径证明的情况
