Пролог к Mac

Для одного из моих классов я должен записать несколько программ пролога. Кто-то может предложить Mac дружественный компилятор пролога? Я попробовал пролог гну, но когда он не работает на меня.