単一化問題

unification problem

変数を含む対象のペアを比較して、それらが一致するように変数を求める問題

型とか関係なく一般的な用語

変数の動く範囲によって分類される

higher-order unification