solve/it.unibo.tuprolog.solve/SolverBuilder/dynamicKb

dynamicKb

abstract fun dynamicKb(theory: Theory): SolverBuilder

Fluent setter for dynamicKb.

abstract fun dynamicKb(vararg clauses: Clause): SolverBuilder

abstract fun dynamicKb(clauses: Iterable<Clause>): SolverBuilder

abstract fun dynamicKb(clauses: Sequence<Clause>): SolverBuilder

Sets dynamicKb to a Theory built out of clauses, using the current unificator.

abstract var dynamicKb: Theory

The dynamic knowledge base the built solver will start with.