datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog
/
ensureAllNegatedLiteralsVariablesInNonNegatedLiteralsToo
ensure
All
Negated
Literals
Variables
In
Non
Negated
Literals
Too
fun
Clause
.
ensureAllNegatedLiteralsVariablesInNonNegatedLiteralsToo
(
)