unifier

UK
/ˈjuːnɪfaɪə/
US
/ˈjunɪfaɪɚ/
unifiernoun
unifiers
pl
UK
/ˈjuːnɪfaɪə/
US
/ˈjunɪfaɪɚ/
Translations
The leader was seen as a unifier of the divided community.
Лидер воспринимался как объединитель разделенного сообщества.
Additional translations
Definitions
A person or thing that brings together or combines different elements into a single entity.
The leader was seen as a unifier, bringing together diverse groups to work towards a common goal.
In logic and computer science, a substitution that makes different expressions identical by systematically replacing variables with terms.
In Prolog, the query engine searches for a unifier to satisfy the goal clause.