prolog changed