unifyWith

open infix fun Any.unifyWith(other: Any): Term?

Infix alias of unify for Any operands: unifies this and other (both auto-toTerm-ed), with occurs-check enabled, using this scope's unificator.

the result of applying the computed MGU to this (retaining its orientation), or null if this and other do not unify.

if this or other cannot be converted into a Term (see toTerm).