
6.5.14 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\}=\{g(f(b), f(x), a), g(y, v, b)\} .
\]