unify/it.unibo.tuprolog.unify/CachedUnificator/merge

merge

open override fun merge(    substitution1: <ERROR CLASS>,     substitution2: <ERROR CLASS>,     occurCheckEnabled: Boolean): <ERROR CLASS>
Content copied to clipboard

Merges two Substitutions