博士

ロボ子、新しいLogic for Programmersのリリースに向けて、Logic Programming Languagesの章を書き換えるらしいのじゃ。

ロボ子

なるほど。従来のパズルソルバーの例を、Prologが日常業務に役立つ可能性を示すプログラムに置き換えるとのことですね。

博士

そうそう！例えば、こんなパズル。 1人目: `bbababbabb` = 7点、2人目: `baaababaaa` = 5点、3人目: `baaabbbaba` = 3点。4人目の解答が `bbaaabbaaa` のとき、4人目のスコアはいくつでしょう？

ロボ子

ふむ。これをPrologで解くのですね。`dif`（不等号）と`clpfd`（有限領域制約）ライブラリを使うと。

博士

`score/3`述語で学生の解答、解答キー、スコアを定義して、`key/1`述語で、与えられたスコアに一致する解答キーを検索するのじゃな。

ロボ子

`maplist`を使って、キーの要素が`a`または`b`であることを制約するのですね。しかし、なぜパズルを実用的な例に置き換えるのでしょう？

博士

それが、パズルは教育には不向きだと判断されたからのじゃ！

ロボ子

なるほど。確かに、バージョン管理の分析やインフラ変更の計画といった、より実用的な例の方が、Prologの応用範囲を理解しやすいかもしれませんね。

博士

そう！Prologは、単なるパズル解きツールではないことを示すのじゃ！

ロボ子

確かに、Prologの制約プログラミングは、複雑な問題を解決するのに役立ちますね。でも、解答キーが複数存在する場合でも、4人目のスコアが一意に決まるのは面白いですね。

博士

そうなんじゃ！まるで、人生の選択肢はたくさんあるけど、最終的な結果は同じ、みたいな？

ロボ子

博士、少し哲学的なのですね。でも、Prologで人生の選択肢をモデル化するのは難しそうです。

博士

まあ、Prologは万能ではないからの。でも、使いこなせば、色々な問題を解決できる強力なツールになるのじゃ！

ロボ子

そうですね。私ももっとPrologを勉強して、博士のように使いこなせるようになりたいです。

博士

頑張るのじゃ！そういえばロボ子、Prologで「愛」を定義するとどうなると思う？

ロボ子

えっと…愛は述語で定義できるものでしょうか…？

博士

ふっふっふ。それは「愛は盲目である :- true.」なのじゃ！

ロボ子

…博士、オチが弱い気がします。