XGP - OS X IDE für GNU Prolog (welches einen native code compiler enthält). Hmm.