共计 769 个字符，预计需要花费 2 分钟才能阅读完成。
求解问题的步骤
(1) 已知前提 $F$ 用谓词公式表示并化为子句集 $S$
(2) 把待求解的问题 $Q$ 用谓词公式表示，并否定 $Q$, 在与 $ANSWER$ 构成析取式 $(\neg Q \vee ANSWER)$;
(3) 把 $(\neg Q \vee ANSWER)$ 化为子句，并入到子句集 $S$ 中，得到子句集 $S'$;
(4) 对子句集 $S'$ 应用归结原理进行归结；
(5) 若得到归结式 $ANSWER$, 则答案就在 $ANSWER$ 中。
例子
(1) 已知：
$F_1$: 王先生（Wang）是小李（Li）的老师
$F_2$: 小李与小张（Zhang）是同班同学
$F_3$: 如果 x 与 y 是同班同学，则 x 的老师也是 y 的老师。
求：小张的老师是谁？
解：定义谓词
$T(x,y)$: x 是 y 的老师
$C(x,y)$: x 和 y 是同学
把已知前提表达成谓词公式：
$F_1:T(Wang,Li)$
$F_2:C(Li,Zhang)$
$F_3:\forall x\forall y\forall z(C(x,y)\wedge T(z,x)\rightarrow T(z,y))$
设 $x$ 为小张的老师，把目标表示成谓词公式，并把它否定后与 $ANSWER$ 析取：
$$
\color{red}{\neg} \exists xT(x,Zhang) \vee ANSWER(x)
$$
把上述公式化为子句集啊啊啊：
$C_1:T(Wang,Li)$
$C_2:C(Li,Zhang)$
$C_3:\neg C(x,y)\vee \neg T(z,x)\vee T(z,y)$
$C_4:\neg T(u,Zhang)\vee ANSWER(u)$
应用归结原理进行归结：
$C_13 :\neg C(Li,y) \vee T(Wang,y)$
$C_134 :\neg C(Li,Zhang) \vee ANSWER(Wang)$
$C_1234 :ANSWER(Wang)$
故小张的老师是王老师。
