unify
/
it.unibo.tuprolog.unify
/
Unificator
/
Companion
/
mergeWith
merge
With
@
JvmStatic
()
infix fun
Substitution
.
mergeWith
(other:
Substitution
):
Substitution
Content copied to clipboard