Запуск пролога на mac

У меня самая трудная попытка запустить SWI-пролог на моем Mac.

Когда я печатаю:

/opt/bin/local/swipl

Я получаю сообщение об ошибке:

/opt/local/bin/swipl: No such file or directory

Когда я просто набираю "swipl", я получаю:

swipl: command not found

Я пробовал это как на терминале, так и на XQuartz. Я даже зашел в

/Applications/SWI-Prolog.app/Contents/MacOS

чтобы увидеть, будет ли это что-либо делать, однако текст пролога "Добро пожаловать" никогда не появляется. Вполне возможно, что ближе всего я когда-либо работал, когда я набрал "pl", когда находился в папке MacOS. Однако я остался с моим терминалом, ничего не делая и должен был использовать Crtl-D.

Есть ли что-то, что я делаю неправильно? Я установил что-то неправильно?

Я работаю на Mac OS X 10.9.1 Mavericks. Я поместил приложение SWI-Prolog в папку своего приложения, и я также загрузил XQuartz за рекомендацию на веб-сайте.

Ответы

Ответ 1

Если у вас установлен Homebrew, вы можете просто запустить

brew install swi-prolog

из терминала, который будет строить его из источника в одной команде.

Затем вы можете запустить интерпретатор с помощью swipl.

Ответ 2

Существует три разумных способа установки SWI-Prolog на MacOS X в возрастающем порядке сложности:

  • Загрузите приложение SWI-Prolog. В этом случае вы просто загрузите образ диска, откройте его и перетащите приложение на свой диск (например, в папку Applications. Вы используете приложение как любое другое приложение, дважды щелкнув по его значку. также используйте двоичный код внутри пакета приложений, добавьте в него каталог Contents/MacOS на ваш системный путь (например, предположив, что вы скопировали приложение SWI-Prolog в папку приложений, сделайте export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATH в файле конфигурации оболочки).

  • Использование MacPorts. Предполагая, что он установлен и обновлен, просто введите sudo port install swi-prolog для стабильной версии или sudo port install swi-prolog-devel для версии разработки. Замените sudo port install на sudo port -u upgrade при обновлении установленной версии. Это вы уже используете MacPorts, тогда /opt/local/bin уже должен быть в вашем системном пути. Введите echo $PATH в окне Terminal, чтобы проверить.

  • Компиляция из источников. В этом случае загрузите исходный архив, распакуйте его и следуйте инструкциям в файле README.MacOSX.

Ответ 3

OSX EI Captian имеет эту команду для установки swi-proog

brew install homebrew/x11/swi-prolog

Ответ 4

Homebrew переместил swi-prolog на вершину несколько дней назад, и из-за этого другие ответы больше не действительны. Причина этого: формула swi-prolog была расположена в бутылке x11, но зависимость x11 является необязательной.

На сегодняшний день, чтобы установить swi-proog с homebrew, просто выполните:

brew install swi-prolog

Если вы уже установили его из бутылки x11, подумайте об удалении переустановки из нового местоположения. В противном случае вы можете столкнуться с ошибками при обновлении/обновлении.

Ответ 5

Если вы загрузите приложение SWI-Prolog в свою папку /Applications, добавьте его в свой .bash_profile:

export PATH="/Applications/SWI-Prolog.app/Contents/MacOS:$PATH"

Двоид swipl живет в этом каталоге MacOS. (Не забудьте после source ~/.bash_profile после)