IA18:6 Ricerca nello Spazio degli Stati: BFS in Prolog