XGP - OS X IDE for GNU Prolog (which includes a native code compiler). Hmm.