A good option which existed at the time of the original question, but went unmentioned, is XGP. XGP is exactly as requested: a way to embed a prolog in a MacOS Objective-C application. In this case the prolog is GNU Prolog.