实现基于谓词逻辑得归结原理

某某城建学院《人工智能》实验报告实验名称：实现基于谓词逻辑的归结原理成绩：____专业班级： 学 号：某某：实 验 日 期 ：20 14 年 05 月 13日实验器材： 一台装PC机。实验目的熟