SWI-Prolog のインストール（Windows 上）

【概要】

SWI-Prolog は Prolog 処理系（論理プログラミング言語 Prolog を実行するソフトウェア）である。このページでは、Windows 上に安定版（10.0.2）をインストールし、動作を確認する手順を示す。

ソフトウェアの利用条件は、利用者で確認すること。

【目次】

【関連する外部ページ】

SWI-Prolog 公式ダウンロードページ: http://www.swi-prolog.org/Download.html

【サイト内の関連情報】

述語と Prolog についての説明資料は、述語，Prolog [PDF], [パワーポイント] にある。

ダウンロードとインストールの手順

  1. ウェブページを開く

    http://www.swi-prolog.org/Download.html

  2. 「Stable Release」をクリックする。
  3. 「Windows intel 64 bits auto-install setup」をクリックする。
  4. ファイルのダウンロードが始まる。
  5. ダウンロードした .exe ファイルを実行する。
  6. ライセンス条項を確認する。
  7. コンポーネントの選択は、既定（デフォルト）のままでよい。「Next >」をクリックする。
  8. インストールディレクトリ（フォルダ）は、既定（デフォルト）のままでよい。「Next >」をクリックする。
  9. インストールオプションは、既定（デフォルト）のままでよい。「Install」をクリックする。
  10. インストールが始まる。
  11. インストール完了を確認する。「Finish」をクリックする。
  12. 試しに起動して、次のように操作する。 
    [user].
person(taro).
person(hanako).
（Ctrl + D を同時押しして入力を終える）
person(X).
（Enter キーを押す）