1.

Which is unique up to renaming of variables?(a) Unifier(b) Most general unifier(c) Unifier & Most general unifier(d) None of the mentioned

Answer» Right answer is (b) Most general unifier

The best explanation: For every unifiable pair of expressions, there is a single most general unifier that is unique up to renaming of variables.


Discussion

No Comment Found

Related InterviewSolutions