人工智能归结反演算法代码

跟另外一个1积分的一模一样，我用的VS2012，运行失败了

代码很好，很有学习价值。

内容正确无误，用了一下蛮好 课程通过

这个代码写得太棒了。完全是一阶逻辑下的归结

这个代码写得太棒了。完全是一阶逻辑下的归结，即包含命题逻辑和谓词逻辑，非常厉害，学习了。啊哈哈哈。