IA18:8 Ricerca nello Spazio degli Stati: ricerca bidirezionale in Prolog