Унификатор

Материал из WEGA

Унификатор - см. Задача унификации.