MathProblemsBank

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