ide/it.unibo.tuprolog.ui.gui/TuPrologIDEBuilder/customLibraries

customLibraries

fun customLibraries(customLibraries: Iterable<Library>): TuPrologIDEBuilder

var customLibraries: List<Library>

Extra Library instances loaded into the IDE's solver in addition to the built-in ones (see TuPrologIDEModel.customizeSolver).