3.14 (3) 证明G是F的逻辑结论
F: ( x)( y)(P(f(x))∧(Q(f(b)))
G: P(f(a))∧P(y)∧Q(y)
先将F和¬G化成子句集：
S={P(a,b), ¬P(x,b)}
再对S进行归结：
所以，G是F的逻辑结论
3.18 设有子句集
{P(x)∨Q(x, b), P(a)∨﹁Q(a, b),﹁Q(a, f(a)), ﹁P(x)∨Q(x, b)}
请用祖先过滤策略求出其归结式
解：支持集策略不可用，原因是没有指明哪个子句是由目标公式的否定化简来的。 删除策略不可用，原因是子句集中没有没有重言式和具有包孕关系的子句。
单文字子句策略的归结过程如下：
用线性输入策略（同时满足祖先过滤策略）的归结过程如下：