C++子句归结 人工智能小作业：九步消元法化为子句，并用归结原理解决逻辑推理问题 ·主要原理是语法分析树 ·赶工产物所以非常草率m(_ _)m可能还有一些bug但是不想改了！ ·总之是一只能飞的🕊而已（（（