IA18:7 Ricerca nello Spazio degli Stati: UCS in Prolog