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

unifyWith

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

Computes the unified term, using default unification strategy