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

staticKb

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

Static Knowledge-base, that is a KB that can't change executing goals