unify/it.unibo.tuprolog.unify/Equation/Contradiction/Contradiction

Contradiction

fun Contradiction(lhs: <ERROR CLASS>, rhs: <ERROR CLASS>)
Content copied to clipboard