unify
0.20.9
unify
/
it.unibo.tuprolog.unify
/
Equation
/
Assignment
/
toSubstitution
to
Substitution
fun
toSubstitution
(
)
:
<ERROR CLASS>
Content copied to clipboard