daryasary/unify

this is simple code tu 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 .....

unify

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)