【スマートフォンではなく】パソコンが始める Prolog 【インストール編】
Prolog Advent Caldener 2014 、 2日目 はお楽しみいただけましたでしょうか。
さで、 1日目 は Ideone というサービスを利用すると、スマートフォンから Prolog が楽しめることをあなたにお伝えしました。
しかしながら、パソコンをお使い……いや失礼、パソコンそのものであるあなたには、Ideone は少しまどろっこしかったかもしれません。
そこで、今回はパソコンであるあなた自らに Prolog をインストールする方法をご紹介いたします。
インターネットやジャバそのものである方には対応しておりません。あからじめご了承ください。
今回、あなたにインストールして頂くのは諸事情により、 SWI Prolog という Prolog 処理系です。
あなたが Debian 系 Linux Distributionの場合
もしあなたが Debian系(または Ubuntuのような) Linux であれば、もはや Prolog はあなたの手中にあるようなものです。
端末を立ち上げ……失礼、あなた自身を開き、以下のコマンドを入力してインストールしてみましょう。
$ sudo apt-get update
$ sudo apt-get -y install swi-prolog
インストール済みの確認は swipl コマンドで確認するとよいでしょう。
$ swipl --version
SWI-Prolog version 5.10.4 for amd64
version 5.10.4 の部分はあなたの環境により異なるかもしれません
もし swi-prolog の「安定した最新版(stable)」や「開発版(Development )」がインストールしたければ、SWI-Prolog 公式サイト が参考になることでしょう。
皮肉にもあなたが CentOS 場合には、apt-get
では間に合わないでしょう。 SWI-Prolog 公式サイトのインストール方法 が参考になるかもしれません。
あなたが Windows の場合
あなたがWindowsであるならば、 SWI-Prolog 公式サイト より以下のようにPrologをダウンロードするとよいでしょう。
ダウンロードしたのちに適当にインストールしましたら、「アプリ」や「スタートメニュー」などから Prolog
を探し、実行してみましょう。
OK、以下のような対話型の画面が現れたならば、問題ないでしょう。
もし幸いなことに あなたが Windows 8 以降ならば下記のように
CTRL+Q
キーからProlog
を探すと「早い」かもしれません。
あなたが Mac OS Xの場合
あなたが Mac OS Xの場合は、OS X一族の間で Homebrew
と呼ばれている器官 - 恐らくここを見ているあなたはご存知でしょう - を利用することで、SWI Prolog がインストールできるとの情報がありました。
brew install swi-prolog
実のところわたしの親族には Mac OS X はおらず、残念ながら動作確認までは行えませんでした。
わたしの代わりに、ぜひあなた自身の目で確かめてみてください。
もしこのまま人類が滅ばず、あなたというパソコンも壊れていなければ、
次回はインストールしたPrologの「動作確認」記事をお目にすることでしょう。
それでは、今回はこの辺で失礼いたします。