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

AddClausesToKb

abstract class AddClausesToKb(clauses: Iterable<Clause>, val onTop: Boolean) : SideEffect.SetClausesOfKb

Base class for side effects adding clauses to a knowledge base, either at the front (onTop) or the back.

Inheritors

AddStaticClauses

AddDynamicClauses

Constructors

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

Properties

open val clauses: Iterable<Clause>

open val onTop: Boolean

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.