Clauses bound for the dynamic knowledge base (see it.unibo.tuprolog.solve.ExecutionContextAware.dynamicKb).