Correct Answer : Inverse resolution
Explanation : Because it is a complete algorithm for learning first-order theories.