Prolog Change 2