solve/it.unibo.tuprolog.solve/SolverBuilder/staticKb

staticKb

abstract fun staticKb(theory: Theory): SolverBuilder

Fluent setter for staticKb.

abstract fun staticKb(vararg clauses: Clause): SolverBuilder

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

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

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

abstract var staticKb: Theory

The static knowledge base the built solver will start with.