start
Initializes GraphvizRenderer, then builds and shows a it.unibo.tuprolog.ui.gui.TuPrologIDEBuilder configured with the custom "Solutions" tab and the ProbLog solver, on stage.
Initializes GraphvizRenderer, then builds and shows a it.unibo.tuprolog.ui.gui.TuPrologIDEBuilder configured with the custom "Solutions" tab and the ProbLog solver, on stage.