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

unify

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