createSolver
abstract fun createSolver(unificator: Unificator = this.unificator, libraries: Runtime = this.libraries, flags: FlagStore = this.flags, staticKb: Theory = this.staticKb, dynamicKb: Theory = this.dynamicKb, inputChannels: InputStore = this.inputChannels, outputChannels: OutputStore = this.outputChannels): Solver
Creates a new, independent Solver sharing this context's state (unless overridden by the arguments), to be used e.g. by primitives that need to recursively solve a sub-goal (see it.unibo.tuprolog.solve.primitive.Solve.Request.subSolver).