unify
0.20.9
unify
/
it.unibo.tuprolog.unify
/
Unificator
/
Companion
/
mergeWith
merge
With
@
JvmStatic
infix
fun
<ERROR CLASS>
.
mergeWith
(
other
:
<ERROR CLASS>
)
:
<ERROR CLASS>
Content copied to clipboard