solve/it.unibo.tuprolog.solve/ExecutionContext/createSolver

createSolver

abstract fun createSolver(    libraries: Libraries = this.libraries,     flags: FlagStore = this.flags,     staticKb: <ERROR CLASS> = this.staticKb,     dynamicKb: <ERROR CLASS> = this.dynamicKb,     inputChannels: InputStore = this.inputChannels,     outputChannels: OutputStore = this.outputChannels): Solver
Content copied to clipboard