solverOf
abstract fun solverOf(unificator: Unificator = defaultUnificator, libraries: Runtime = defaultRuntime, flags: FlagStore = defaultFlags, staticKb: Theory = defaultStaticKb, dynamicKb: Theory = defaultDynamicKb, inputs: InputStore = InputStore.fromStandard(defaultInputChannel), outputs: OutputStore = OutputStore.fromStandard(
defaultOutputChannel,
defaultErrorChannel,
defaultWarningsChannel,
)): Solver
Creates a new Solver, with an explicit InputStore/OutputStore rather than individual channels.
abstract fun solverOf(unificator: Unificator = defaultUnificator, libraries: Runtime = defaultRuntime, flags: FlagStore = defaultFlags, staticKb: Theory = defaultStaticKb, dynamicKb: Theory = defaultDynamicKb, stdIn: InputChannel<String> = defaultInputChannel, stdOut: OutputChannel<String> = defaultOutputChannel, stdErr: OutputChannel<String> = defaultErrorChannel, warnings: OutputChannel<Warning> = defaultWarningsChannel): Solver
Creates a new Solver with this implementation's resolution strategy, defaulting every unspecified argument to this factory's default* values. Does not include defaultBuiltins; see solverWithDefaultBuiltins for that.