人工智能 命题逻辑归结反演
人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树附源代码与实验报告，仅供参考
下载地址
用户评论
好好，挺好，刚下了试了试
很适合初学者，看得懂
对简单命题逻辑的应用。
说有病毒。。。。还没试就被删掉了
感觉是学生的实验，内容比较简单
内容可以借鉴一下。
虽然比较简单，但基本解决了作业 问题，谢谢分享
不好用。。不过是免费的，也就还行了
还不错，用到了
很不错，指导学习借鉴，可以研究一下！