问答题

【参考答案】

输入归结策略对参加归结的子句有如下限制:参加归结的两个子句中,必须至少有一个子句是初始子句集中的子句。