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.

become one; "Germany unified officially in 1990"; "Will the two Koreas unify?"

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