unify
0.20.9
unify
/
it.unibo.tuprolog.unify
/
Equation
/
asContradiction
as
Contradiction
open
fun
asContradiction
(
)
:
Equation.Contradiction
?
Content copied to clipboard