IA19.3 Ricerca con Funzione Euristica: implementazione GS in Prolog