unify/it.unibo.tuprolog.unify/AbstractUnificator/mgu

mgu

open override fun mgu(    term1: <ERROR CLASS>,     term2: <ERROR CLASS>,     occurCheckEnabled: Boolean): <ERROR CLASS>
Content copied to clipboard

Calculates the Most General Unifier of given Terms, optionally enabling occur-check