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