Prolog Change 1