unify
/
it.unibo.tuprolog.unify
/
Equation
/
Assignment
/
Assignment
Assignment
fun
Assignment
(lhs:
Var
, rhs:
Term
)
Content copied to clipboard