solve/it.unibo.tuprolog.solve.sideffects/SideEffect/AddDynamicClauses

AddDynamicClauses

data class AddDynamicClauses(val clauses: Iterable<Clause>, val onTop: Boolean = false) : SideEffect.AddClausesToKb

Adds clauses to the dynamic knowledge base, at the front if onTop, at the back otherwise.

Constructors

AddDynamicClauses

constructor(clauses: Iterable<Clause>, onTop: Boolean = false)

constructor(vararg clauses: Clause, onTop: Boolean = false)

constructor(clauses: Sequence<Clause>, onTop: Boolean = false)

Properties

open override val clauses: Iterable<Clause>

open override val onTop: Boolean

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

Produces the ExecutionContext resulting from applying this side effect to context.

fun mutableTheory(context: ExecutionContext): Theory

clauses as a MutableTheory, converting it if necessary.

fun theory(context: ExecutionContext): Theory

clauses as a Theory, reusing it as-is if it already is one.