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