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

mguWith

open infix fun Any.mguWith(other: Any): Substitution

Infix alias of mgu for Any operands: computes the Most General Unifier of this and other (both auto-toTerm-ed), with occurs-check enabled, using this scope's unificator.

Throws

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

Generated by Dokka
© 2026 Copyright