>>251
でも先生、紙と鉛筆でユニフィケーションなんてやりたくないです
先生の扱う対象ってIntとCharと[]の閉包じゃないですか
Lispで十分ですよ