Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary

Search Dictionary:  


Pronunciation:  `yoonufey'keyshun

WordNet Dictionary
  1. [n]  the act of making or becoming a single unit; "the union of opposing factions"; "he looked forward to the unification of his family for the holidays"
  2. [n]  an occurrence that involves the production of a union
  3. [n]  the state of being joined or united or linked; "there is strength in union"

UNIFICATION is a 11 letter word that starts with U.


 Synonyms: conjugation, fusion, jointure, merger, union, union, uniting
 Antonyms: disunion, separation
 See Also: association, coalescence, coalescency, coalition, coalition, colligation, combination, combining, compounding, concretion, conglutination, conjugation, conjunction, connectedness, connection, fusion, junction, link, marriage, reunification, reunion, state, syncretism, tribalisation, tribalization, umbrella, union



Webster's 1913 Dictionary
\U`ni*fi*ca"tion\, n. [See {Unify}.]
The act of unifying, or the state of being unified.

      Unification with God was the final aim of the
      Neoplatonicians.                         --Fleming.

Computing Dictionary

The generalisation of pattern matching that is the logic programming equivalent of instantiation in logic. When two terms are to be unified, they are compared. If they are both constants then the result of unification is success if they are equal else failure. If one is a variable then it is bound to the other, which may be any term (which satisfies an "occurs check"), and the unification succeeds. If both terms are structures then each pair of sub-terms is unified recursively and the unification succeeds if all the sub-terms unify.

The result of unification is either failure or success with a set of variable bindings, known as a "unifier". There may be many such unifiers for any pair of terms but there will be at most one "most general unifier", other unifiers simply add extra bindings for sub-terms which are variables in the original terms.