>>150
Lispのマクロ
Prologのユニフィケーション