gui/it.unibo.tuprolog.ui.gui.prolog/SolverFactorySession/capabilities

capabilities

open override val capabilities: SolverCapabilities

What this particular session supports (may narrow its profile's declared capabilities).