什么是归结控制策略？什么样的归结控制策略是完备的？

对子句集S进行归结时，如果采用盲目的、全面的归结，其结果将产生大量的不必要的归结式，如果要在计算机上实现，不但浪费计算机的存储空间，而且要浪费大量的计算时间。
为了解决这一问题，研究如何选择合适的子句进行归结，以避免多余的、不必要的归结式的出现，这就是归结控制策略。
归结控制策略有完备与不完备之分。
如果子句集S是不可满足的，当且仅当用某归结控制策略能够归结出空子句。
则称该归结控制策略为完备的归结控制策略。