datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog
/
allHeadVariablesInNonNegatedLiterals
all
Head
Variables
In
Non
Negated
Literals
val
Clause
.
allHeadVariablesInNonNegatedLiterals
:
Boolean