Допустим, вам понадобился Prolog на OS X. Если вы все еще читатете, то идем дальше.
Вообще, проглядев книгу восемдесятбородатого года про Пролог, мне он показался довольно забавным, и я решил попробовать какие-нибудь простенькие штуковины пописать. Только, как это сделать без идиотских эмуляторов на Mac. Значит, что мне понадобилось.
- Кроссплатформенные решения я нашел в виде плагинов для Eclipse, соответственно сперва нужен сам Eclipse. Версий там вагон, я выбрал где меньше всего всякой ненужной мне фигни, так как на Java я не разрабатываю.
- Первый плагин я пробовал PDT, он уж очень старый и на 3.5 не работает, 3.1 я скачал, но так и не установил, потому что нашел второй плагин ProDT. Он заработал нормально, и для моих простых тестов вполне достаточен. В Downloads нужно качать самый мелкий файлик.
- Для ProDT нужен SWI-Prolog — некоторая кросплатформенная opensource имплементация языка. Качаем, ставим.
- SWI-Prolog требует или нет MacPorts, но в любом случае, он у меня был и штука весьма полезная.
- Распаковываем ProDT в eclipse/dropins/prodt/eclipse/plugins, запускаем eclipse и он сам все устанавливает.
- Теперь в свойствах ProDT ( Eclipse -> Preferences -> Prolog -> Compilers -> Swi Compiler ) нужно прописать путь до компилятора, который по умолчанию ставится в
/opt/local/bin/swipl. - Переключаем вид Window -> Show Perspective -> Other… -> Prolog.
Все, теперь можно создаь простенький проектик и файлик в нем, например, следующего содержания:
da( one ).
da( two ).
Запустить, и в консоли написать
da(X).
x = one ;
x = two.
