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

match

open fun match(term1: Any, term2: Any, occurCheckEnabled: Boolean = true): Boolean

Overload of Unificator.match 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).