IA18:4 Ricerca nello Spazio degli Stati: DFS in Prolog