horn子句归结（同济大学人工智能课程设计）_horn-resolution.zip

[{"title":"（ 7 个子文件 7KB ） horn子句归结（同济大学人工智能课程设计）_horn-resolution.zip","children":[{"title":"horn-resolution-main","children":[{"title":"horn.h <span style='color:#111;'> 1.11KB </span>","children":null,"spread":false},{"title":"horn.cpp <span style='color:#111;'> 1.39KB </span>","children":null,"spread":false},{"title":"main.cpp <span style='color:#111;'> 2.26KB </span>","children":null,"spread":false},{"title":"read_in.cpp <span style='color:#111;'> 5.96KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 147B </span>","children":null,"spread":false},{"title":"solution.cpp <span style='color:#111;'> 3.76KB </span>","children":null,"spread":false},{"title":"head.h <span style='color:#111;'> 129B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]