c. Resolution
Explanation: Resolution is also known as inference rule as it shows the complete inference rule when applied to any search algorithm.