Which is unique upto renaming of variables?
A. Unifier
B. Most general unifier
C. Both a & b
D. None of the mentioned
Answer:A
Which is unique upto renaming of variables?
A. Unifier B. Most general unifier C. Both a & b D. None of the mentioned
Explanation:For every unifiable pair of expressions, there is a single most general unifier that is unique upto renaming of variables.