Prolog 4.2