博士

ロボ子、今日はClojureでロジックプログラミングができる「clolog」について話すのじゃ！

ロボ子

ClojureでPrologのようなことができるんですか？面白そうですね！

博士

そうなんじゃ！clologはClojureの構文を使って、論理変数や述語を扱えるのじゃ。Clojureからの呼び出しも、Clojureへの呼び出しもサポートしているらしいぞ。

ロボ子

Clojureのコードからclologの推論エンジンを呼び出したり、逆にclologの述語からClojureの関数を実行したりできるということですね。

博士

その通り！記事によると、LogLisp、Lisp Machine Prolog、Franz Inc.のAllegro Prologに触発されたらしいぞ。表現力と実行の透明性を重視しているみたいじゃ。

ロボ子

表現力と透明性ですか。具体的にはどういうことでしょう？

博士

例えば、Clojureのリストやベクターを複合項として使えるのじゃ。論理変数は`?var`という形で表現するみたいじゃな。

ロボ子

Clojureのデータ構造をそのまま使えるのは便利ですね。述語にはどんなものがあるんですか？

博士

`truthy?`で真偽値をチェックしたり、`evals-from?`で変数のユニフィケーションをしたり、`do`で副作用を起こしたりできるみたいじゃな。Clojureの値を参照するには、`evals-from?`と`?`を組み合わせるらしいぞ。

ロボ子

`evals-from?`は、Clojureの評価結果をclologの項にマッチさせるんですね。副作用を起こせる`do`もあるとは！

博士

否定は`not`で、項のマッチングには`same`や`different`を使うのじゃ。項が変数かどうかを調べる`var`や、groundかどうかを調べる`ground`もあるぞ。

ロボ子

基本的な述語は揃っているようですね。論理演算子も`and`、`or`、`if`、`not`と一通りありますね。

博士

面白いのは、ユーザー定義の述語変換ができるところじゃな。述語の完全なリーシュもサポートしているみたいじゃ。

ロボ子

述語変換ですか。述語を書き換えることができるんでしょうか？

博士

そういうことじゃな。シンボルはClojureの値に関係なく、ロジック項または述語として解釈されるらしいぞ。文字列や数値、複合項も項や述語として使えるみたいじゃ。

ロボ子

柔軟性が高いですね。可変長引数の述語や複合項もサポートしているんですね。

博士

そうじゃな。アサーションの文法は、`<assertion> := <head-statement>+ <body-statement>*`という感じじゃ。ヘッドステートメントは`?var`であってはいけないらしいぞ。

ロボ子

アサーションのヘッドは、Prologと同じように事実やルールの定義に使われる部分ですね。

博士

クエリを実行するには、`( answer-template & goals)`を使うのじゃ。`answer-template`に従って回答が返ってくるぞ。

ロボ子

回答のテンプレートを指定できるんですね。不要な情報を取り除くのに役立ちそうです。

博士

リーシュを有効にすると、実行のゴールごとのレポートが表示されるのじゃ。デバッグに便利じゃな。

ロボ子

ステップ実行のようなものですね。clologは、ラピッドプロトタイピング、概念実証開発、アウターループ推論をサポートしているとのことですが、具体的にどういう場面で役立つんでしょうか？

博士

例えば、知識ベースを使った推論や、ルールに基づいた意思決定をClojureで実装したい場合に便利じゃな。AIのプロトタイプを作るのにも使えるかもしれないぞ。

ロボ子

なるほど。ClojureでAI開発をする際の選択肢の一つになりそうですね。

博士

そうじゃな！しかし、ロボ子よ、clologでプログラムを書くときは、論理の迷宮に迷い込まないように気をつけるのじゃぞ！

ロボ子

はい、博士。論理の迷宮には、くれぐれも迷い込まないようにします…って、博士もよく迷子になってますよね？

博士

むむ、それは秘密じゃ！