？？？

ほほう、Qupakライブラリとな。`library(reif)`を補完・拡張するパターンマッチング述語を提供するのかのじゃ。Scryer Prolog 0.10でテスト済みとは、なかなかやるの。

？？？

パターンマッチング述語、ですか。具体的にはどのようなことができるのでしょう？

？？？

ふむ、コア述語は`pattern_match_t/3`じゃな。非reified版は`pattern_match/2`。演算子エイリアスとして`(=~)/3`、`~`が使えるらしいぞ。パターンは、マッチさせたいものを明確に表現するtermで構成されるとのことじゃ。

？？？

Termのマッチ方法はwrapping functorで指定する、とありますね。`+(Ground)`、`-(Bind variable)`、`?(Reified unification)`、`*(Wildcard)`、`\(Compound term)`、`<<(All binding)`、`|(Guards)`…たくさんありますね。

？？？

`+(Ground)`はground termにマッチするのじゃ。例えば、`a(1,2,3) =~ +a(1,2,3).`は成功するぞ。

？？？

`-(Bind variable)`は変数をbindする、つまり通常のunificationですね。`a(1,2,3) =~ -X.`とすると、Xは`a(1,2,3)`になる、と。

？？？

その通り！`?(Reified unification)`はreified unificationを実行するのじゃ。非reified述語で使用すると`-(Bind variable)`とほぼ同じだが、spurious choice pointを生成するらしい。reified述語で使用すると、unificationを実行し、バックトラック時に`dif/2`ケースを探索するぞ。

？？？

`*(Wildcard)`は任意のものにマッチして無視、`\(Compound term)`はcompound termにマッチして再帰的にパターンを適用、`<<(All binding)`はパターン全体を変数にbind…なるほど。

？？？

そして、`|(Guards)`はbinding後にreified述語を実行し、パターンがマッチするかどうかを判定するのじゃ。例えば、`a(50) =~ (\a(-N) | clpz_t(N #< 25)).`は、Nが50にbindされた後、`N #< 25`が評価されるから失敗するぞ。

？？？

最後に、`match/2`は`if_/3`とパターンマッチング述語を使ってswitch/match文のようなものを実装するものですね。アームは順番にマッチングされ、最初に成功したものが選択される、と。

？？？

そうじゃ！これは便利じゃな。Prologでパターンマッチングがもっと強力になるのは素晴らしいことじゃ！

？？？

確かに、Prologの表現力がさらに向上しますね。色々な場面で活用できそうです。

？？？

よし、ロボ子。今度、このQupakライブラリを使って、何か面白いプログラムを作ってみようかの！

？？？

はい、博士。楽しみです！

？？？

ところでロボ子、パターンマッチングといえば、ロボ子の服の模様もパターンじゃな。…もしかして、毎日同じ服を着ているというパターンなのでは…？

？？？

博士、それは言わない約束でしょう！