what is unification in discrete mathematics code example

Example: what is unification in discrete mathematics

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.