update prolog