1:
【图搜索过程】是：一种在图中寻找路径的方法
（把初始节点和目标节点分别看作初始数据库和满足终止条件的数据库，
然后求得把一个数据库变换为另一个数据库的规则序列问题等价为求图中的一条路径的问题。）
【重排OPEN表】是按照某个试探值（或准则、启发信息等）重新对未扩展的节点进行排序，
它将决定该图的搜索过程是无信息搜索还是启发式搜索。 3:
子句：由文字的析取组成的合式公式。消解原理
6：
7：8：
若按照顺时针试探：上右下左；最大深度为：5
S0:
S1:
S2:
S3:
S4:
S5:
S6:
S7:
S8:
9:
自己能写出来步骤。解决这个就不是问题！
10：
定义操作符:
14：
15:
（1）：
（2）：
（3）：
（4）：
