by Wojciech Dzik
The main aim of unification is to make two symbolic expressions equal, or identical, by substituting their variables with other expressions. Unification in logic is concerned with finding a substit…