Hi,

There is some prolog software for Mac OS X

Thanks,

Alejandro