gnu-prolog 1.4.3