unifyWith

@JvmStatic()
infix fun Term.unifyWith(other: Term): Term?
Content copied to clipboard

Computes the unified term, using default unification strategy