dsl-unify/it.unibo.tuprolog.dsl.unify/LogicProgrammingScopeWithUnification/unify

unify

open fun unify(term1: Any, term2: Any, occurCheckEnabled: Boolean = true): Term?

Overload of Unificator.unify accepting plain values instead of Terms: term1 and term2 are auto-toTerm-ed before delegating to this scope's unificator.

Throws

IllegalArgumentException

if term1 or term2 cannot be converted into a Term (see toTerm).