Modifiche prolog