tkhの日記： Unification

Martelli-Montanari の unification アルゴリズムを実装終了。あまり難しくなかったけれど、久々にリスト操作をしまくった。この次のプロジェクトはPrologインタプリタを作れとか言われそうな予感。