prolog start