it.unibo.tuprolog.solve.streams.solver.fsm.impl