Whatever prolog