datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog
/
nonNegatedBodyLiterals
non
Negated
Body
Literals
val
Clause
.
nonNegatedBodyLiterals
:
List
<
Struct
>