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

RemoveClausesFromKb

abstract class RemoveClausesFromKb(clauses: Iterable<Clause>) : SideEffect.SetClausesOfKb

Base class for side effects removing clauses from a knowledge base.

Inheritors

RemoveStaticClauses

RemoveDynamicClauses

Constructors

RemoveClausesFromKb

constructor(clauses: Iterable<Clause>)

Properties

open val clauses: Iterable<Clause>

Functions

abstract 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.