datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog
/
isNonRecursive
is
Non
Recursive
val
Theory
.
isNonRecursive
:
Boolean