- 归结法的特点 　- 归结法基本原理 　- 归结法和其它推理方法的比较