I don’t use macOS so can not help with that.
If you are trying to learn Prolog on your own then I would suggest