unify
/
it.unibo.tuprolog.unify
/
Equation
/
toPair
to
Pair
open fun
toPair
():
Pair
<
Term
,
Term
>
Content copied to clipboard