人工智能的实验题目。输入一组合适公式，以及一个目标子句，输出归结树。
我奋斗了几乎5天总算弄出来了，放过bin出来show一下^_^。
至于代码，想要的可以联系我。
这里给出一个测试用例吧：
;假设：所有不贫穷且聪明的人都快乐。那些看书的人都是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。
;求证：李明过着激动人心的生活。
(\x)(~Poor(x)∧Smart(x)→happy(x))
(\x)(Read(x)→Smart(x))
Read(Li)∧~Poor(Li)
(\x)(happy(x)→Exciting(x))
Exciting(Li) ;目标公式直接放最后一行即可，无需加~
- 1
- 2
- 3
前往页