dynamicKb

override val dynamicKb: <ERROR CLASS>

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