unify

open fun unify(term1: Term, term2: Term, occurCheckEnabled: Boolean): Term?
Content copied to clipboard

Unifies two Terms if possible

open fun unify(term1: Term, term2: Term): Term?
Content copied to clipboard

Unifies two Terms if possible, with occurs check