unify
/
it.unibo.tuprolog.unify
/
Unificator
/
Companion
/
mguWith
mgu
With
@
JvmStatic
()
infix fun
Term
.
mguWith
(other:
Term
):
Substitution
Content copied to clipboard
Computes the Most General Unifier, using
default
unification strategy