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