问答题

【简答题】输入归结策略对参加归结的子句有什么限制?

答案: 输入归结策略对参加归结的子句有如下限制:参加归结的两个子句中,必须至少有一个子句是初始子句集中的子句。
微信扫码免费搜题