solve/it.unibo.tuprolog.solve.impl/AbstractSolver/dynamicKb

dynamicKb

override val dynamicKb: <ERROR CLASS>
Content copied to clipboard

Dynamic Knowledge-base, that is a KB that can change executing goals