web-dev-qa-db-ja.com

Macでプロローグを実行する

MacでSWI-prologを実行しようとすると、私は最も苦労しています。

入力するとき:

/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

それが何かをするかどうかを確認するために、しかし、プロローグ「ようこそ」テキストは決して現れません。 MacOSフォルダー内で「pl」と入力したときが、私がこれまでに得たものの中で最も近いものです。しかし、私は自分の端末が何もしていなかったため、Crtl-Dを使用しなければなりませんでした。

私が間違っていることはありますか?何か間違ってインストールしましたか?

Mac OS X 10.9.1 Mavericksで実行しています。 SWI-Prologアプリケーションをアプリケーションフォルダーに配置し、Webサイトの推奨事項ごとにXQuartzもダウンロードしました。

26
user3278629

Homebrew がインストールされている場合は、単に実行できます

brew install swi-prolog

ターミナルから、1つのコマンドでソースからビルドします。

その後、swiplを使用してインタープリターを実行できます。

68
Simon Hartcher

MacOS XにSWI-Prologをインストールするには、複雑さの順に3つの賢明な方法があります。

  1. SWI-Prologアプリケーションをダウンロードします。この場合、ディスクイメージをダウンロードして開き、ディスクにアプリケーションをドラッグします(例:Applicationsフォルダー。アイコンをダブルクリックして、アプリケーションを他のアプリケーションとして使用します。アプリケーションバンドル内のバイナリも使用する場合は、Contents/MacOSディレクトリ内のシステムパス(たとえば、SWI-Prologアプリケーションをアプリケーションフォルダにコピーしたと仮定して、export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATHシェル構成ファイル内)。

  2. MacPortsを使用します。インストール済みで最新の場合は、単にSudo port install swi-prolog安定版の場合またはSudo port install swi-prolog-devel開発バージョン用。置換Sudo port install by Sudo port -u upgradeインストール済みバージョンをアップグレードする場合。既にMacPortsを使用している場合は、/opt/local/binはすでにシステムパスにあるはずです。タイプecho $PATHTerminalウィンドウで確認します。

  3. ソースからコンパイルします。この場合、ソースアーカイブをダウンロードして解凍し、README.MacOSXファイル。

13
Paulo Moura

OSX EI Captianには、swi-prologインストール用のこのコマンドがあります

brew install homebrew/x11/swi-prolog
5
Mounika Kakarla

Homebrewは数日前にswi-prologをトップに移動しました。このため、他の答えはもう有効ではありません。その理由:swi-prolog式はx11ボトルにありましたが、x11依存関係はオプションです。

現在、homebrewでswi-prologをインストールするには、次のようにします:

brew install swi-prolog

以前にx11ボトルからインストールした場合は、新しい場所から再インストールをアンインストールすることを検討してください。そうしないと、更新/アップグレード時にエラーが発生する可能性があります。

2
Andreas_D

SWI-Prolog application/Applicationsフォルダーにダウンロードした場合、これを.bash_profileに追加します。

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

swiplバイナリは、そのMacOSディレクトリにあります。 (source ~/.bash_profileを忘れないでください)

2
Zhanwen Chen

現在、便利な docker image があります。

0
BHBH