Update prolog