datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog
/
callGraph
call
Graph
val
Theory
.
callGraph
:
Graph
<
Indicator
,
Boolean
>