dsl-unify
/
it.unibo.tuprolog.dsl.unify
/
PrologScopeWithUnification
/
unifyWith
unify
With
open infix fun
Any
.
unifyWith
(other:
Any
):
Term
?
Content copied to clipboard