Caricamento sessione
Prolog programming and applications