人工智能命题逻辑中的归结推理系统设计与实现实验,实现标准输入文件读入子句集,可视化显示归结树附源代码与实验报告,仅供参考