unifier

Circular ~ вчт. циклический унификатор most general ~ вчт. наиболее общий унификатор unifier вчт. унификатор

Источник: Полный англо-русский словарь на Gufo.me