run

Parses the templated thermostat.pl program, builds a it.unibo.tuprolog.solve.Solver registering get_temp/1 and push/1 under the libs.agency.thermostat library alias (with it.unibo.tuprolog.solve.flags.TrackVariables turned on so bound variables remain visible in the solution), and runs the start/0 goal once to completion, printing the outcome (reached target temperature, logic failure, or an exception with its Prolog stack trace) to standard output.