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

mgu

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

Overload of Unificator.mgu accepting plain values instead of Terms: term1 and term2 are auto-toTerm-ed before delegating to this scope's unificator, so e.g. raw Strings, numbers or already-built Terms can be mixed freely.

Throws

IllegalArgumentException

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