changed prolog