prolog updates