More than 5 years have passed since last update.

PrologAdvent Calendar 2014

【スマートフォンではなく】パソコンが始める Prolog 【動作確認編】

Posted at 2014-12-04

前回は、あたにPrologを導入して頂きました。

動作確認をしてみましょう

本当にあなたに Prolog 処理系がインストールされたか、あなたはまだ疑っているのではないでしょうか。

ここでは、実際に Prologのプログラムを動作をさせて、あなたがプログラムを処理している実感を味わってみることにしましょう。

せっかくですので、 1日目に取り上げたソースコードを動かしてみることにします。
ただし、少しソースコードは変更しています。

下記を advent-example01.pro などとファイル名をつけ、保存しておいてください。

% あなたとジャバ
ジャバ(あなた).

% わたしとジャバ
ジャバ(わたし).

% X とジャバならば、X は今すぐジャバをダウンロードすべきである
ジャバをダウンロード(X,今すぐ) :- ジャバ(X).

Windowsにて「メモ帳」を使い保存する場合は、「文字コード」を 「UTF-8」 で保存してください。でなければ、あとの作業でエラーがでることでしょう。

以下のようにして、読み込ませることができるでしょう。

$ swipl -f advent-example01.pro

まずは上記で紹介したように Prolog を起動し、メニューから 「File」⇒「Consult...」 と選択し、ファイル advent-example01.pro を選ぶとよいでしょう。

このあたりは『プログラムの起動と質問の自動実行 - Prolog - Wikipedia』も参考になるかと思います。

対話画面が開いたら以下のように入力してみましょう。下記は、 「あなたは今すぐジャバをダウンロードすべきか？」 という趣旨の質問をしています。

?- ジャバをダウンロード(あなた,今すぐ).

?- 以降の文字を入力します

true と出力されました。これは「あなたは今すぐジャバをダウンロードすべきである」ということを意味しています。

?- ジャバをダウンロード(あなた,今すぐ).
true.

それでは、以下の質問を入力した場合はどうでしょうか。下記は 「今すぐジャバをダウンロードすべきは『誰』(X)か？」 という質問をしてみています。

?- ジャバをダウンロード(X, 今すぐ).

まずは以下のように、出力されるでしょう。

?- ジャバをダウンロード(X, 今すぐ).
X = あなた

さて、ここからが Prolog のおもしろいところです。

そのまま ; や スペースバー を押してみましょう。

?- ジャバをダウンロード(X, 今すぐ).
X = あなた;
X = わたし.

すると、上記のように 「あなた」 以外の 「わたし」 も現れました。

上記は、 「今すぐジャバをダウンロードすべきは『あなた』であり『わたし』である」 ことを意味しています。

他のプログラミング言語ならば、 for や foreach などを使っていたかもしれません。
このあたりが Prolog のユニークなところの1つです。

さて、うまくいきましたでしょうか。

Prologのただの「動作確認」としては少々長く感じられたかもしれません。

それでも、もしあなたが物足りないならば以下の課題を試してみてください。

もし課題に取り組まなかったとしても、そのことによって、すぐに巨大な隕石が地球に落ちてきたり、地軸が必要以上に傾いたりはしないでしょう。あなたが気が向いたときで大丈夫です。

?- ジャバをダウンロード(X, Y).

?- forall(ジャバをダウンロード(X, 今すぐ), writeln(X)).

それでは、次回の Prolog Advent Calender でお会いしましょう。