2.4 归结原理 　　本节在上节的基础上，进一步具体介绍谓词逻辑的归结方法。谓词逻辑的归结法是以命题逻辑的归结法为基础，在Skolem标准性的子句集上，通过置换和合一进行归结的。