shuiki/resolution-task

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

C++