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

mgu

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