应用归结原理例-讲课

- 应用归结原理的习题 - 在谓词逻辑中，对子句进行归结推理时，要注意以下几个问题：（1）若被归结的子句C1 和C2中具有相同的变元时，需要将其中一个子句的变元更名，否则可能无法