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