若对S使用归结推理过程中，当归结式Cj是重言式和Cjj被S中子句和子句集的归结式Ci(i<j)所归类时，便将Cj删除。这样的推理过程便称做使用了删除策略的归结过程。 　　删除策略的主要想法是：归结过程在寻找可归结子句时，子句集中的子句越多，需要付出的代价就会越大。如果在归结时能把子句集中无用的子句删除掉，就会缩小搜索范围，减少比较次数，从而提高归结效率。 　　删除策略对阻止不必要的归结式的产生来缩短归结过程是有效的。然而要在归结式Cj产生后方能判别它是否可被删除，这部分计算量是要花费的，只是节省了被删除的子句又生成的归结式。尽管使用删除策略的归结，少做了归结但不影响产生空子句，就是说删除策略的归结推理是完备的。 删除策略 =>完备；但是，完备的归结推理采用删除策略不一定都有效。 　　删除策略是完备的意思是，采用归结策略进行的归结过程没有破坏归结法的完备性。说明了删除策略的完备性，可以放心大胆地用。反之，不是可以归结的谓词公式都可以采用删除策略来处理，达到加快归结速度的目的。道理很简单，如果该谓词公式中没有可删除的子句，就无法使用删除策略。