solve-concurrent/it.unibo.tuprolog.solve.concurrent/ConcurrentSolverFactory

ConcurrentSolverFactory

object ConcurrentSolverFactory : SolverFactory

The SolverFactory for :solve-concurrent, backing it.unibo.tuprolog.solve.Solver.concurrent: every Solver/MutableSolver it produces is a ConcurrentSolver that resolves goals by running the alternatives of the search tree (matching clauses, disjunction branches, backtracking primitive solutions) as concurrent Kotlin coroutines rather than one at a time -- see ConcurrentSolver for the resulting caveats around solution ordering and concurrent knowledge-base mutation.

val solver = ConcurrentSolverFactory.solverWithDefaultBuiltins(staticKb = theory)
val solution = solver.solveOnce(query)

Properties

defaultBuiltins

open override val defaultBuiltins: Library

The standard-library predicates and rules of :solve-concurrent (see it.unibo.tuprolog.solve.concurrent.stdlib.DefaultBuiltins).

defaultDynamicKb

open val defaultDynamicKb: Theory

defaultErrorChannel

open val defaultErrorChannel: OutputChannel<String>

defaultFlags

open val defaultFlags: FlagStore

defaultInputChannel

open val defaultInputChannel: InputChannel<String>

defaultOutputChannel

open val defaultOutputChannel: OutputChannel<String>

defaultRuntime

open val defaultRuntime: Runtime

defaultStaticKb

open val defaultStaticKb: Theory

defaultUnificator

open val defaultUnificator: Unificator

defaultWarningsChannel

open val defaultWarningsChannel: OutputChannel<Warning>

Functions

mutableSolverOf

open override fun mutableSolverOf(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputs: InputStore, outputs: OutputStore): MutableSolver

open override fun mutableSolverOf(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): MutableSolver

mutableSolverWithDefaultBuiltins

open fun mutableSolverWithDefaultBuiltins(unificator: Unificator, otherLibraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): MutableSolver

newBuilder

open fun newBuilder(): SolverBuilder

solverOf

open override fun solverOf(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputs: InputStore, outputs: OutputStore): Solver

open override fun solverOf(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): Solver

solverWithDefaultBuiltins

open fun solverWithDefaultBuiltins(unificator: Unificator, otherLibraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): Solver

ConcurrentSolverFactory

See also

Properties

Functions