归结式的注意事项:
  ・谓词的一致性,P()与Q(), 不可以归结
  ・常量的一致性,P(a, …)与P(b,….), 不可以归结
  ・变量,P(a, ….)与P(x, …), 可以通过置换归结
   变量与函数,P(a, x, ….)与P(x, f(x), …),不可以归结;
   但P(a, x, …)与P(x, f(y), …),可以通过对两式分别做{f(y)/x}置换和{a/x},再归结。
  ・不能同时消去两个互补对,形如P∨Q与~P∨~Q得空,是不正确的
  ・对子句集中的元素先进行内部简化(置换、合并)
  例:
  设C1=P(y)∨P(f(x))∨Q(g(x)),C2=~P(f(g(a)))∨Q(b),求C1和C2的归结式。
  解:
  对C1,取最一般合一σ={f(x)/y},得C1的因子
  C1σ=P(f(x))∨Q(g(x))
  对C1的因子和C2进行归结,可得到C1和C2的归结式:Q(g(g(a)))∨Q(b)