MutableSolver

interface MutableSolver: Solver, Any

A mutable Prolog solver

Methods

loadLibrary

abstract fun loadLibrary(library: AliasedLibrary)

Parameters

Name Description
library: AliasedLibrary

ReturnValue

Name Description
Unit

unloadLibrary

abstract fun unloadLibrary(library: AliasedLibrary)

Parameters

Name Description
library: AliasedLibrary

ReturnValue

Name Description
Unit

setLibraries

abstract fun setLibraries(libraries: Libraries)

Parameters

Name Description
libraries: Libraries

ReturnValue

Name Description
Unit

loadStaticKb

abstract fun loadStaticKb(theory: Theory)

Parameters

Name Description
theory: Theory

ReturnValue

Name Description
Unit

appendStaticKb

abstract fun appendStaticKb(theory: Theory)

Parameters

Name Description
theory: Theory

ReturnValue

Name Description
Unit

resetStaticKb

abstract fun resetStaticKb()

ReturnValue

Name Description
Unit

loadDynamicKb

abstract fun loadDynamicKb(theory: Theory)

Parameters

Name Description
theory: Theory

ReturnValue

Name Description
Unit

appendDynamicKb

abstract fun appendDynamicKb(theory: Theory)

Parameters

Name Description
theory: Theory

ReturnValue

Name Description
Unit

resetDynamicKb

abstract fun resetDynamicKb()

ReturnValue

Name Description
Unit

assertA

abstract fun assertA(clause: Clause)

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
Unit

assertA

abstract fun assertA(fact: Struct)

Parameters

Name Description
fact: Struct

ReturnValue

Name Description
Unit

assertZ

abstract fun assertZ(clause: Clause)

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
Unit

assertZ

abstract fun assertZ(fact: Struct)

Parameters

Name Description
fact: Struct

ReturnValue

Name Description
Unit

retract

abstract fun retract(clause: Clause): RetractResult

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
RetractResult

retract

abstract fun retract(fact: Struct): RetractResult

Parameters

Name Description
fact: Struct

ReturnValue

Name Description
RetractResult

retractAll

abstract fun retractAll(clause: Clause): RetractResult

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
RetractResult

retractAll

abstract fun retractAll(fact: Struct): RetractResult

Parameters

Name Description
fact: Struct

ReturnValue

Name Description
RetractResult

Extensions

solve

fun Solver.solve(maxDuration: TimeDuration, scopedContext: Scope.()->Struct): Sequence<Solution>

Receiver

Name Description
Solver

Parameters

Name Description
maxDuration: TimeDuration
scopedContext: Scope.()->Struct

ReturnValue

Name Description
Sequence<Solution>