datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog
/
ensureIsNonRecursive
ensure
Is
Non
Recursive
fun
Theory
.
ensureIsNonRecursive
(
)