Which is unique up to renaming of variables?
(a) Unifier
(b) Most general unifier
(c) Unifier & Most general unifier
(d) None of the mentioned
This question was addressed to me in a national level competition.
My doubt is from Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence