solve-classic/it.unibo.tuprolog.solve.classic

Package it.unibo.tuprolog.solve.classic

Types

abstract class AbstractClassicSolver( libraries: <ERROR CLASS> = Libraries.empty(), flags: <ERROR CLASS> = FlagStore.empty(), initialStaticKb: <ERROR CLASS> = Theory.empty(), initialDynamicKb: <ERROR CLASS> = MutableTheory.empty(), inputChannels: <ERROR CLASS> = InputStore.fromStandard(), outputChannels: <ERROR CLASS> = OutputStore.fromStandard(), trustKb: Boolean = false)

ChoicePointContext

sealed class ChoicePointContext

ClassicExecutionContext

data class ClassicExecutionContext( val procedure: <ERROR CLASS>? = null, val libraries: <ERROR CLASS> = Libraries.empty(), val flags: <ERROR CLASS> = FlagStore.empty(), val staticKb: <ERROR CLASS> = Theory.empty(), val dynamicKb: <ERROR CLASS> = MutableTheory.empty(), val operators: <ERROR CLASS> = getAllOperators(libraries, staticKb, dynamicKb).toOperatorSet(), val inputChannels: <ERROR CLASS> = InputStore.fromStandard(), val outputChannels: <ERROR CLASS> = OutputStore.fromStandard(), val customData: <ERROR CLASS> = CustomDataStore.empty(), val substitution: <ERROR CLASS> = Substitution.empty(), val query: <ERROR CLASS> = Truth.TRUE, val goals: <ERROR CLASS><out <ERROR CLASS>> = Cursor.empty(), val rules: <ERROR CLASS><out <ERROR CLASS>> = Cursor.empty(), val primitives: <ERROR CLASS><out <ERROR CLASS>> = Cursor.empty(), val startTime: <ERROR CLASS> = 0, val maxDuration: <ERROR CLASS> = TimeDuration.MAX_VALUE, val choicePoints: ChoicePointContext? = null, val parent: ClassicExecutionContext? = null, val depth: Int = 0, val step: Long = 0)

ClassicSolverFactory

object ClassicSolverFactory

MutableSolutionIterator

interface MutableSolutionIterator : SolutionIterator

SolutionIterator

interface SolutionIterator : Iterator<<ERROR CLASS>>

Functions

appendPrimitives

fun ChoicePointContext?.appendPrimitives(alternatives: <ERROR CLASS><out <ERROR CLASS>>, executionContext: ClassicExecutionContext? = null): ChoicePointContext

appendRules

fun ChoicePointContext?.appendRules(alternatives: <ERROR CLASS><out <ERROR CLASS>>, executionContext: ClassicExecutionContext? = null): ChoicePointContext

classic

fun <ERROR CLASS>.classic( libraries: <ERROR CLASS> = ClassicSolverFactory.defaultLibraries, flags: <ERROR CLASS> = ClassicSolverFactory.defaultFlags, staticKb: <ERROR CLASS> = ClassicSolverFactory.defaultStaticKb, dynamicKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb, stdIn: <ERROR CLASS><String> = ClassicSolverFactory.defaultInputChannel, stdOut: <ERROR CLASS><String> = ClassicSolverFactory.defaultOutputChannel, stdErr: <ERROR CLASS><String> = ClassicSolverFactory.defaultErrorChannel, warnings: <ERROR CLASS><<ERROR CLASS>> = ClassicSolverFactory.defaultWarningsChannel): <ERROR CLASS>

fun <ERROR CLASS>.classic( libraries: <ERROR CLASS> = ClassicSolverFactory.defaultLibraries, flags: <ERROR CLASS> = ClassicSolverFactory.defaultFlags, staticKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb, dynamicKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb, stdIn: <ERROR CLASS><String> = ClassicSolverFactory.defaultInputChannel, stdOut: <ERROR CLASS><String> = ClassicSolverFactory.defaultOutputChannel, stdErr: <ERROR CLASS><String> = ClassicSolverFactory.defaultErrorChannel, warnings: <ERROR CLASS><<ERROR CLASS>> = ClassicSolverFactory.defaultWarningsChannel): <ERROR CLASS>

classicWithDefaultBuiltins

fun <ERROR CLASS>.classicWithDefaultBuiltins( libraries: <ERROR CLASS> = ClassicSolverFactory.defaultLibraries, flags: <ERROR CLASS> = ClassicSolverFactory.defaultFlags, staticKb: <ERROR CLASS> = ClassicSolverFactory.defaultStaticKb, dynamicKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb, stdIn: <ERROR CLASS><String> = ClassicSolverFactory.defaultInputChannel, stdOut: <ERROR CLASS><String> = ClassicSolverFactory.defaultOutputChannel, stdErr: <ERROR CLASS><String> = ClassicSolverFactory.defaultErrorChannel, warnings: <ERROR CLASS><<ERROR CLASS>> = ClassicSolverFactory.defaultWarningsChannel): <ERROR CLASS>

nextDepth

fun ChoicePointContext?.nextDepth(): Int