ide/it.unibo.tuprolog.ui.gui/TuPrologIDEModel/customizeSolver

customizeSolver

abstract fun customizeSolver(customizer: (MutableSolver) -> MutableSolver)

Rebuilds the underlying solver applying customizer to it, e.g. to load extra it.unibo.tuprolog.solve.library.Library instances (as done by TuPrologIDEBuilder.customLibraries). The next resolution will run against the customized solver.