This is simple code to unify 2 functions for ex: P(x,y,F(a,b)) and P(r,t,u) unify to ==> P(r,t,u) or P(x,t,u) or .....
A simple code for artificial inteligence
For more information visit here: https://en.wikipedia.org/wiki/Unification_(computer_science)