Currently, I'd like to use prolog in conjunction with a Cocoa (native Mac) project I'm writing using objective-c and Xcode IDE. Gprolog seems to be the only prolog that currently compiles out of the box on my Mac.
You may find XGP of interest. It is a prolog environment built on top of gprolog that connects to the Cocoa framework. It provides a prolog-native interface to graphics and the Mac UI.