「インストール方法」の編集履歴（バックアップ）一覧はこちら
インストール方法 - (2014/05/07 (水) 12:24:03) の１つ前との変更点
追加された行は緑色になります。
削除された行は赤色になります。
このページではaz-prologのインストール方法について説明を行います。
本家ではプログラムをコンパイルするためにVisual Studio Expressのインストールの
説明を行なっていますが、ここでは単に使用するだけならこの作業は必要ないので、
インタプリタを使用するまでの説明を行います。
今回はwindows版のみの説明をします。
1.Az-prologをダウンロードする。
https://www.az-prolog.com/download
64bitの最新版
http://www.az-prolog.com/az_download/7/win/64/azprolog7.53x64.msi
32bitの最新版
http://www.az-prolog.com/az_download/7/win/32/azprolog7.53x32.msi
2.インストール作業
ダウンロードが終わったら
http://www.az-prolog.com/install_win
2.AZ-Prolog Version7 for Windowsのインストール
を参考にインストール作業を行って下さい。
基本的にはそのまま"はい"を押すだけでインストールを終了します。
3.環境変数の設定を行う。
windows7であれば
キーボードのwindowsボタン
↓
コンピュータを右クリック
↓
プロパティをクリック
↓
システムの詳細設定をクリック
↓
詳細設定タブの環境変数(N)をクリック
↓
システム環境変数(S)の変数Pathを選択して編集(I)をクリック
↓
変数値の一番最初にカーソルを移動して以下が無ければ追加を行う。
C:\Program Files\AZ-Prolog.753\bin;
4.コマンドプロンプトを立ち上げてprologを起動する。
キーボードのwindowsボタン
↓
プログラムとファイルの選択と記載されているウィンドウにcmdと記述し、Enterボタンを押す
↓
prologと記述し、Enterボタンを押す
これでaz-prologが起動されます。
#image(インストール方法)
このページではaz-prologのインストール方法について説明を行います。
本家ではプログラムをコンパイルするためにVisual Studio Expressのインストールの
説明を行なっていますが、ここでは単に使用するだけならこの作業は必要ないので、
インタプリタを使用するまでの説明を行います。
今回はwindows版のみの説明をします。
1.Az-prologをダウンロードする。
https://www.az-prolog.com/download
64bitの最新版
http://www.az-prolog.com/az_download/7/win/64/azprolog7.53x64.msi
32bitの最新版
http://www.az-prolog.com/az_download/7/win/32/azprolog7.53x32.msi
2.インストール作業
ダウンロードが終わったら
http://www.az-prolog.com/install_win
2.AZ-Prolog Version7 for Windowsのインストール
を参考にインストール作業を行って下さい。
基本的にはそのまま"はい"を押すだけでインストールを終了します。
3.環境変数の設定を行う。
windows7であれば
キーボードのwindowsボタン
↓
コンピュータを右クリック
↓
プロパティをクリック
↓
システムの詳細設定をクリック
↓
詳細設定タブの環境変数(N)をクリック
↓
システム環境変数(S)の変数Pathを選択して編集(I)をクリック
↓
変数値の一番最初にカーソルを移動して以下が無ければ追加を行う。
C:\Program Files\AZ-Prolog.753\bin;
4.コマンドプロンプトを立ち上げてprologを起動する。
キーボードのwindowsボタン
↓
プログラムとファイルの選択と記載されているウィンドウにcmdと記述し、Enterボタンを押す
↓
prologと記述し、Enterボタンを押す
これでaz-prologが起動されます。
#image(http://cdn46.atwikiimg.com/az-prolog/?cmd=upload&act=open&page=%E3%82%A4%E3%83%B3%E3%82%B9%E3%83%88%E3%83%BC%E3%83%AB%E6%96%B9%E6%B3%95&file=1.png)
