unify
0.20.9
unify
/
it.unibo.tuprolog.unify
/
Equation
/
Contradiction
/
isContradiction
is
Contradiction
open
override
val
isContradiction
:
Boolean
Content copied to clipboard