使用归结演绎推理解题：某单位招聘员工，小张、小李和小王三人参加了面试，经过考核后，单位有下面的想法： （1）如果录取小张而不录取小李，那么小王一定要录取； （2）如果录取小李，则小王一定要录取； （3）三人中至少要录取一人。 求单位一定录取谁？

我们可以将三个条件分别转化为以下谓词公式：

(1) ~M(L) → M(W)

(2) M(L) → M(W)

(3) M(Z) ∨ M(L) ∨ M(W)

我们还需要将结论否定的谓词公式转化为子句形式：

~M(x) ∨ ANSWER(x)

然后，我们可以将所有谓词公式和结论否定的谓词公式转化为子句集合：

{ ~M(L), M(W) }, { M(L), M(W) }, { M(Z), M(L), M(W) }, { ~M(x), ANSWER(x) }

接下来，我们可以使用归结演绎推理来求解。假设我们要证明 ANSWER(x) 成立，也就是单位一定录取某个人 x。我们可以使用归结规则将前三个子句进行归结：

{ ~M(L), M(W) } { M(L), M(W) } { M(Z), M(L), M(W) }
--------------------------------------------------------------
{ ~M(Z), M(W) }

接着，我们可以使用归结规则将得到的新子句 { ~M(Z), M(W) } 与最后一个子句 { ~M(x), ANSWER(x) } 进行归结：

{ ~M(Z), M(W) } { ~M(x), ANSWER(x) }
----------------------------------------
{ ~M(Z), ANSWER(Z) }

因此，单位一定录取小张（Z）。