Definitions for "Unify"
Keywords:  dataserver
Unify Dataserver 6
to bring or combine together or with something else; "resourcefully he mingled music and dance"
join or combine; "We merged our resources"
Prolog process to make two terms equal by assigning variables in one term to values at the corresponding location of the other term. For example: ?- foo(a, B) = foo(A, b). A = a, B = b Unlike assignment (which does not exist in Prolog), unification is not directed.
Keywords:  koreas, germany, officially, two, one
become one; "Germany unified officially in 1990"; "Will the two Koreas unify?"
Keywords:  concert, belief, unite, view, purpose
To cause to be one; to make into a unit; to unite; to view as one.
act in concert or unite in a common purpose or belief