问答题
简答题
输入归结策略对参加归结的子句有什么限制？
【参考答案】
输入归结策略对参加归结的子句有如下限制：参加归结的两个子句中，必须至少有一个子句是初始子句集中的子句。
点击查看答案
