prolog 99