Prolog For Mac Os



対象

  1. 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.
  2. 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).
  3. 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.
  4. 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閉じる

目次

  1. SWI-Prologをインストールする
  2. PATHを通す
  3. 使ってみる

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 コマンドで現在の場所を確認する。

Mac

つまり、 /Applications/SWI-Prolog.app/Contents/MacOS にPATHを通せばいいことがわかった。
続いてPATHを通す。

2.5. shellの設定を開く

shellがbashの人は以下のコマンドでbash_profileの設定画面をvimで開く。

zshの人は bash_profilezshrc に置換して以降の操作を行う。

画面が変わり、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 というファイルを作成する

Prolog for mac os 10.10

せっかくなので、
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. コンソールで実行し、クエリを投げてみる

Prolog For Mac Os

ターミナルに戻り、 $ swipl -f ファイル名 でsample.plを実行する。
(現在の作業ディレクトリが prolog2019 であることを確認)

Prolog For Mac Os

?- にクエリを叩く。

できた。

3.4. コンソールを閉じる

Prolog macos install

終わりたいときは halt. で退出できる。

無事 prolog2019 に戻った。

Prolog For Mac Os 10.13

最後に

文末の . (ピリオド)を忘れずに。

Prolog For Mac Os High Sierra

完全に余談

Prolog For Mac Os 10.10

プログラミングは楽しくておもしろいです。
ぜひ授業のCやjavaで「自分は向いてない」と意気消沈せずに、
エンジニアとして活躍されている社会人にお話を聞いたり、他の言語を学んでみてください。
きっと人生が変わるでしょう。
ics学科の先輩より