datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog
/
isDatalog
is
Datalog
val
Theory
.
isDatalog
:
Boolean