datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog
/
ensureIsDatalog
ensure
Is
Datalog
fun
Theory
.
ensureIsDatalog
(
)