unify/it.unibo.tuprolog.unify/Unificator/Companion/mguWith

mguWith

@JvmStatic
infix fun <ERROR CLASS>.mguWith(other: <ERROR CLASS>): <ERROR CLASS>
Content copied to clipboard

Computes the Most General Unifier, using default unification strategy