AbstractClassicSolver
constructor(unificator: Unificator = Unificator.default, libraries: Runtime = Runtime.empty(), flags: FlagStore = FlagStore.empty(), initialStaticKb: Theory = Theory.empty(unificator), initialDynamicKb: Theory = MutableTheory.empty(unificator), inputChannels: InputStore = InputStore.fromStandard(), outputChannels: OutputStore = OutputStore.fromStandard(), trustKb: Boolean = false)
constructor(unificator: Unificator = Unificator.default, libraries: Runtime = Runtime.empty(), flags: FlagStore = FlagStore.empty(), staticKb: Theory = Theory.empty(unificator), dynamicKb: Theory = MutableTheory.empty(unificator), stdIn: InputChannel<String> = InputChannel.stdIn(), stdOut: OutputChannel<String> = OutputChannel.stdOut(), stdErr: OutputChannel<String> = OutputChannel.stdErr(), warnings: OutputChannel<Warning> = OutputChannel.warn(), trustKb: Boolean = false)