mutableSolverOf
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
Same as mutableSolverOf (the InputStore/OutputStore overload), but takes individual channels.
open override fun mutableSolverOf(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputs: InputStore, outputs: OutputStore): MutableSolver
Same as SolverFactory.mutableSolverOf, but ensures ProblogLib is loaded (see fixLibraries), forces TrackVariables ON, and rewrites staticKb/dynamicKb into a it.unibo.tuprolog.solve.problog.lib.knowledge.ProblogTheory before handing everything to ClassicSolverFactory.