MathProblemsBank

6.5.9 Predicate calculus

Problem: Determine the most general unifier and the corresponding general example for the following set of terms or show that the set is non-unifiable. \[ \left\{L_{i}\right\}=\{h(f(a), g(y, z), y), h(x, g(b, u), c)\} . \]