Unifier

*

Словосочетания

circular unifier — циклический унификатор
most general unifier — наиболее общий унификатор
Смотрите также:  Мультитран  Wikipedia(En)  Academic.ru  Reverso 
•