Which rule is equal to the resolution rule of first-order clauses?
(a) Propositional resolution rule
(b) Inference rule
(c) Resolution rule
(d) None of the mentioned
I had been asked this question during an online interview.
I'm obligated to ask this question of Resolution topic in chapter Logical Agents of Artificial Intelligence