实现基于谓词逻辑的归结原理(共23页)

河南城建学院《人工智能》实验报告实验名称：实现基于谓词逻辑的归结原理成 绩：____ 专业班级：  学 号： 姓 名： 实 验 日 期 ：20 14 年 05 月