Unifier

A Instance $C$ of Term $A,B$.

• $\text{parent(bob,X)}$
• $\text{parent(Y,sue)}$
• Unifier is: $\{X/sue,Y/bob\}$