Using Prolog 0.6