dsl-solve/it.unibo.tuprolog.dsl.solve/LogicProgrammingScopeWithResolution/dynamicKb

dynamicKb

open fun dynamicKb(vararg clauses: Clause)

open fun dynamicKb(clauses: Iterable<Clause>)

open fun dynamicKb(clauses: Sequence<Clause>)

Replaces defaultSolver's dynamic knowledge base with a Theory indexing clauses; see MutableSolver.loadDynamicClauses.

open fun dynamicKb(theory: Theory)

Replaces defaultSolver's dynamic knowledge base with theory; see MutableSolver.loadDynamicKb.