证明题
【正确答案】 归结过程有多种，但因采用支持集策略，顶子句必须是（7），另外采用线性归结策略，归结过程不能有分支。（4 分）
【答案解析】