対象
- YAP builds and runs nicely on Windows (tested: binary), Mac OS X (tested) and Linux. Compared to SWI, YAP's big advantage is that it is significantly faster (with my applications factor 4) than SWI Prolog. (See the speed section below.) GNU Prolog. The major advantage of GNU Prolog is that it can compile prolog programs to native code on.
- GNU Prolog for Mac OS X v.1.4.0 What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source).
- TeXworks is a free and simple working environment for authoring TeX (LaTeX, ConTeXt and XeTeX) documents. Inspired by Dick Koch's award-winning TeXShop program for Mac OS X, it makes entry into the TeX world easier for those using desktop operating systems other than OS X. It provides an integrated, easy-to-use environment for users on other platforms particularly GNU/Linux and Windows.
- For one of my classes I need to write several prolog programs. Can someone suggest a mac friendly prolog compiler? I tried gnu prolog but when it doesn't work for me. Installing GNU Prolog on Mac OS X (getting a Bus Error) 0. Mac OS X: Trying to install prolog using fink. Compiling on a Mac.
s大学理工学部ics学科g先生の講義で、PrologをMacOSで使いたい方向けの記事です
Version 1.1.1: Updated XGP to build for Mac OS X 10.5.x (Leopard). This update required rebuilding GProlog 1.3.0 with gcc 4.0.1 and rebuilding XGP with a new XCode 3.0.
私の環境
macOS Mojave v10.14
shellはbash
SWI-Prolog version 8.0.2 for x86_64-darwin
知っておくべきこと
コマンド | 意味 |
---|---|
ls | ファイル・ディレクトリの一覧を表示 |
cd | 作業ディレクトリの移動 |
pwd | 現在のディレクトリのPATHを表示 |
mkdir | 新規ディレクトリの作成 |
rm | ファイル・ディレクトリを削除 |
touch | 新規ファイルの作成 |
open | ファイルを開く |
モード | 意味 |
---|---|
ノーマルモード | h,j,k,lでカーソル移動ができる |
インサートモード | 入力ができる |
キー | 意味 |
---|---|
ノーマルモードの時の i | インサートモードに切替 |
インサートモードの時の esc | ノーマルモードに切替 |
ノーマルモードの時の :w | 保存 |
ノーマルモードの時の :q | 閉じる |
目次
- SWI-Prologをインストールする
- PATHを通す
- 使ってみる
1. SWI-Prologをインストールする
1.1. インストール
リンクに飛び、SWI-Prolog 8.0.2-1 for MacOSX 10.12 (Sierra) and later on intel
をインストールする。
1.2. アプリケーションの移動
Prolog(フクロウのアイコン)をApplicationフォルダーの中にドラッグ&ドロップで移動させる。
2. PATHを通す
PATHを通すの意味は分からなくても大丈夫。
しかし、この授業やPrologに限らずPATHを通すことはよくあるので調べてみると良い。
まず通したいPATHの確認する(Prologの中にあるMacOSにPATHを通したい)。
2.1. ターミナルを開く
2.2. Prologがあるか確認する
以下のコマンド( you$
から右側)をターミナルに打って、Application下に SWI-Prolog.app
があることを確認する。
あった。
2.3. MacOSの場所を探す
以下のコマンドで SWI-Prolog.app
の中の MacOS
まで移動する。
2.4. MacOSのPATHを確認する
MacOSまで行ったら pwd
コマンドで現在の場所を確認する。
つまり、 /Applications/SWI-Prolog.app/Contents/MacOS
にPATHを通せばいいことがわかった。
続いてPATHを通す。
2.5. shellの設定を開く
shellがbashの人は以下のコマンドでbash_profileの設定画面をvimで開く。
zshの人は bash_profile
を zshrc
に置換して以降の操作を行う。
画面が変わり、vimでbash_profileが開けた。
こんな感じ。
2.6. 以下の1行を追加する
i
を押して、インサートモードにしたのち、
を最終行に追加する。
2.7. vimを閉じる
esc
を押してノーマルモードに戻したのち、 :w
で保存し、 :q
で閉じる。
vimを開く前の画面に元に戻ったらok。
2.8. 以下のコマンドでbash_profileを更新する
2.9. 以下のコマンドで正しくPATHを通せたか確認する
できた。
3. 使ってみる
本記事では /User/you/prolog2019
下に、 sample.pl
というファイルを作成する。そのファイルに
を記述し、挙動を確認する。
3.1. /User/you/prolog2019
下に、 sample.pl
というファイルを作成する
せっかくなので、
1. prolog2019というディレクトリを作成する
2. その中にsample.plというファイルを作成する
3. sample.plを開く
の3つを、コマンドを駆使してターミナルだけでやってみる。
これで User/you
に移動。その下に prolog2019
というディレクトリを作りたい。
できた。続いて、 prolog2019
に移動。
移動した。ここに、 sample.pl
というファイルを作成したい。
できた。
3.2. コードを書く
コードを書くためにsample.plを開きたい。
開いた。そこに、
を記述。保存を忘れずに。
※今回はopen
で開けたがbash_profileと同様にvimでも開ける
その場合はopen
の代わりにvi
(またはvim
)を使用する
3.3. コンソールで実行し、クエリを投げてみる
ターミナルに戻り、 $ swipl -f ファイル名
でsample.plを実行する。
(現在の作業ディレクトリが prolog2019
であることを確認)
?-
にクエリを叩く。
できた。
3.4. コンソールを閉じる
終わりたいときは halt.
で退出できる。
無事 prolog2019
に戻った。
Prolog For Mac Os 10.13
最後に
文末の .
(ピリオド)を忘れずに。
Prolog For Mac Os High Sierra
完全に余談
Prolog For Mac Os 10.10
プログラミングは楽しくておもしろいです。
ぜひ授業のCやjavaで「自分は向いてない」と意気消沈せずに、
エンジニアとして活躍されている社会人にお話を聞いたり、他の言語を学んでみてください。
きっと人生が変わるでしょう。
ics学科の先輩より