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