问答题
简答题
设有子句集：S＝{～I（x）∨R（x），I（a），～R（y）∨～L（y），L（a）}对S用支持集策略归结出空子句，画出归结树。
【参考答案】
归结树如下：
点击查看答案
