Cygwin+bash+SWI-Prologのインストール方法

PC

以下、Windows環境（2000、XP、Vista）を想定しています。

  1. http://cygwin.com/ より、右上の(Install Cygwin now)をクリック。
  2. setup.exeを保存し、実行する。
  3. Cygwin Net Release Setup Programでは「次へ(N)」をクリック
  4. Choose A Download Sourceでは「Install from Internet」を選択し「次へ(N)」をクリック。
  5. Select Root Install Directoryでは、以下のように指定し「次へ(N)」をクリック。
    • Root Directoryを「c:\cygwin」（推奨）
    • Install Forを「All Users」
    • Default Text File Typeを「Unix/binary」
  6. Select Local Package Directoryでは、Local Package Directoryを適当に指定（そこにインストールに必要なファイルがダウンロードされる）。ここでは「c:\cygwin\download」としておく。
  7. Select Your Internet Connectionでは「Direct Connection」を選択し、「次へ(N)」。
  8. Choose A Download Siteでは、どこか近場のサイト（.jpで終わるサイト）を選択し「次へ(N)」。
  9. Select Packagesでは、各プログラムについて以下のいずれの処理をするか、選択することができる。
    • <バージョン名>→そのバージョンのプログラムをインストールする
    • Skip→何もしない
    • Keep→現状維持
    • Reinstall→再インストールする
    • Uninstall→アンインストールする
  10. ここでは、以下の二つがインストールされるように指定しておく（勿論、他のプログラムも随時インストールして構わない）。
  11. Warning: Unmet Dependencies Foundという画面が出た場合は、下部の「Install these packages to meet dependencies」の横にチェックして、「次へ(N)」
    • 各プログラムのダウンロードとインストールが始まる。終了するとCreate Iconsという画面が出るので、好みに合わせてチェックを入れ、「完了」
  12. Prologのプログラム（拡張子は.plとする）は、たとえばの話ですが、c:\cygwin\program\prolog\ というフォルダを作り、その下に置きます。
  13. アイコンをクリックすると、Bashが起動するので、「cd /program/prolog/」と打ってEnterキーを押すと、c:\cygwn\program\prologに移動します。
  14. Prologプログラムをテキストエディタを使って作成し、保存します。たとえば、「test.pl」とします。
  15. Bashコマンドラインから「pl」と打ってEnterキーを押すと、SWI-Prologが起動します。「?-」というPrologプロンプトが出ますので、「[test].」と打ってEnterキーを押すと、test.plが読み込まれます。

SWI-Prolog自体については、ホームページ(http://www.swi-prolog.org/)があります。ドキュメントは http://www.swi-prolog.org/dl-doc.html からダウンロードできます。