solve-classic
/
it.unibo.tuprolog.solve.classic
/
ClassicExecutionContext
/
staticKb
static
Kb
open override val
staticKb
:
Theory
Content copied to clipboard