Unification is a process of making two different logical atomic expressions identical by finding a substitution. ... It takes two literals as input and makes them identical using substitution.