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