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

RemoveDynamicClauses

data class RemoveDynamicClauses(val clauses: Iterable<Clause>) : SideEffect.RemoveClausesFromKb

Removes clauses from the dynamic knowledge base.

Constructors

RemoveDynamicClauses

constructor(clauses: Iterable<Clause>)

constructor(vararg clauses: Clause)

constructor(clauses: Sequence<Clause>)

Properties

open override val clauses: Iterable<Clause>

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.