パターンマッチに興味があるなら Unification で検索しる．
Common Lisp の cl-unification ライブラリのマニュアルと実装も参考になるお．