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