Title: Z/PROLOG translator