C++子句归结

人工智能小作业：九步消元法化为子句，并用归结原理解决逻辑推理问题

·主要原理是语法分析树

·赶工产物所以非常草率m(_ _)m可能还有一些bug但是不想改了！

·总之是一只能飞的🕊而已（（（