What is the process of capturing the inference process as a single inference rule?
(a) Ponens
(b) Clauses
(c) Generalized Modus Ponens
(d) Variables
I have been asked this question during an interview.
Query is from Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence