ClassicSolverFactory

object ClassicSolverFactory: SolverFactory, Any

Fields

Name Description
val defaultBuiltins: AliasedLibrary

Methods

solverOf

fun solverOf(libraries: Libraries, flags: PrologFlags, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<PrologWarning>): Solver

Parameters

Name Description
libraries: Libraries
flags: PrologFlags
staticKb: Theory
dynamicKb: Theory
stdIn: InputChannel<String>
stdOut: OutputChannel<String>
stdErr: OutputChannel<String>
warnings: OutputChannel<PrologWarning>

ReturnValue

Name Description
Solver

mutableSolverOf

fun mutableSolverOf(libraries: Libraries, flags: PrologFlags, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<PrologWarning>): MutableSolver

Parameters

Name Description
libraries: Libraries
flags: PrologFlags
staticKb: Theory
dynamicKb: Theory
stdIn: InputChannel<String>
stdOut: OutputChannel<String>
stdErr: OutputChannel<String>
warnings: OutputChannel<PrologWarning>

ReturnValue

Name Description
MutableSolver