图2－5 线性归结策略示意图 　　线性归结 完备 　　线性归结是完备的，同样，所有可归结的谓词公式都可以采用线性归结策略达到加快归结速度的目的。如果能搞找到一个较好的顶子句，可以式归结顺利进行。否则也可能事与愿违。