core/it.unibo.tuprolog.argumentation.core.engine/PrologExecutionContext/createSolver

createSolver

open override fun createSolver(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore): Solver