solve/it.unibo.tuprolog.solve/MutableSolver

MutableSolver

interface MutableSolver : Solver

General type for mutable logic Solvers. MutableSolvers differ from Solvers in that they expose public methods for letting clients affect the state of the solver -- e.g. affecting the KB -- while no resolution process is ongoing.

Types

object Companion

Functions

appendDynamicKb

abstract fun appendDynamicKb(theory: <ERROR CLASS>)

abstract fun appendStaticKb(theory: <ERROR CLASS>)

abstract fun assertA(clause: <ERROR CLASS>)

abstract fun assertA(fact: <ERROR CLASS>)

abstract fun assertZ(clause: <ERROR CLASS>)

abstract fun assertZ(fact: <ERROR CLASS>)

abstract override fun clone(): MutableSolver

abstract override fun copy( libraries: Libraries, flags: FlagStore, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): MutableSolver

loadDynamicClauses

open fun loadDynamicClauses(vararg clauses: <ERROR CLASS>)

open fun loadDynamicClauses(clauses: Iterable<<ERROR CLASS>>)

open fun loadDynamicClauses(clauses: Sequence<<ERROR CLASS>>)

abstract fun loadDynamicKb(theory: <ERROR CLASS>)

abstract fun loadLibrary(library: AliasedLibrary)

loadStaticClauses

open fun loadStaticClauses(vararg clauses: <ERROR CLASS>)

open fun loadStaticClauses(clauses: Iterable<<ERROR CLASS>>)

open fun loadStaticClauses(clauses: Sequence<<ERROR CLASS>>)

abstract fun loadStaticKb(theory: <ERROR CLASS>)

abstract fun resetDynamicKb()

abstract fun resetStaticKb()

abstract fun retract(clause: <ERROR CLASS>): <ERROR CLASS><<ERROR CLASS>>

abstract fun retract(fact: <ERROR CLASS>): <ERROR CLASS><<ERROR CLASS>>

abstract fun retractAll(clause: <ERROR CLASS>): <ERROR CLASS><<ERROR CLASS>>

abstract fun retractAll(fact: <ERROR CLASS>): <ERROR CLASS><<ERROR CLASS>>

abstract fun setFlag(flag: NotableFlag)

abstract fun setFlag(flag: Pair<String, <ERROR CLASS>>)

abstract fun setFlag(name: String, value: <ERROR CLASS>)

abstract fun setLibraries(libraries: Libraries)

setStandardError

abstract fun setStandardError(stdErr: OutputChannel<String>)

setStandardInput

abstract fun setStandardInput(stdIn: InputChannel<String>)

setStandardOutput

abstract fun setStandardOutput(stdOut: OutputChannel<String>)

abstract fun setWarnings(warnings: OutputChannel<Warning>)

open fun solve(goal: <ERROR CLASS>): Sequence<Solution>

abstract fun solve(goal: <ERROR CLASS>, options: SolveOptions): Sequence<Solution>

open fun solve(goal: <ERROR CLASS>, timeout: TimeDuration): Sequence<Solution>

open fun solveList(goal: <ERROR CLASS>): List<Solution>

open fun solveList(goal: <ERROR CLASS>, options: SolveOptions): List<Solution>

open fun solveList(goal: <ERROR CLASS>, timeout: TimeDuration): List<Solution>

open fun solveOnce(goal: <ERROR CLASS>): Solution

open fun solveOnce(goal: <ERROR CLASS>, options: SolveOptions): Solution

open fun solveOnce(goal: <ERROR CLASS>, timeout: TimeDuration): Solution

abstract fun unloadLibrary(library: AliasedLibrary)

Properties

abstract val dynamicKb: <ERROR CLASS>

Dynamic Knowledge-base, that is a KB that can change executing goals

abstract val flags: FlagStore

Enabled flags

abstract val inputChannels: InputStore

The currently open input channels

abstract val libraries: Libraries

Loaded libraries

abstract val operators: <ERROR CLASS>

Loaded operators

abstract val outputChannels: OutputStore

The currently open output channels

open val standardError: OutputChannel<String>

Shortcut for the standard error channel defined in outputChannels. Returns null if the channel is closed

open val standardInput: InputChannel<String>

Shortcut for the standard input channel defined in inputChannels. Returns null if the channel is closed

open val standardOutput: OutputChannel<String>

Shortcut for the standard output channel defined in outputChannels. Returns null if the channel is closed

abstract val staticKb: <ERROR CLASS>

Static Knowledge-base, that is a KB that can't change executing goals

open val warnings: OutputChannel<Warning>

Shortcut for the warnings channel defined in outputChannels. Returns null if the channel is closed