mguWith

infix fun Term.mguWith(other: Term): Substitution

Computes the Most General Unifier, using default unification strategy