人工智能归结原理的推理系统

实验4 基于归结原理的推理系统一、实验目的1. 掌握归结原理的基本原理。2. 练习基于归结原理的推理。二、实验方法1. 运行给定程序，理解归结原理。(1) 把欲证明问题的结论否定，并加入子句集S，得到