Correct Answer : Resolution
Explanation : Because resolution yields a complete inference rule when coupled with any search algorithm.