
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)\} .
\]