unify
/
it.unibo.tuprolog.unify
/
Equation
/
Assignment
/
toSubstitution
to
Substitution
fun
toSubstitution
():
Substitution.Unifier
Content copied to clipboard