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