Modifiche Prolog