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

staticKb

open fun staticKb(vararg clauses: Clause)

open fun staticKb(clauses: Iterable<Clause>)

open fun staticKb(clauses: Sequence<Clause>)

Replaces defaultSolver's static knowledge base with a Theory indexing clauses; see MutableSolver.loadStaticClauses.

open fun staticKb(theory: Theory)

Replaces defaultSolver's static knowledge base with theory; see MutableSolver.loadStaticKb.