Unification" : Dictionary / Wörterbuch (BEOLINGUS, TU Chemnitz)

English Dictionary: Unification	by the DICT Development Group
3 results for Unification
From WordNet (r) 3.0 (2006) [wn]:
unification n an occurrence that involves the production of a union [syn: fusion, merger, unification] the state of being joined or united or linked; "there is strength in union" Synonym(s): union, unification Antonym(s): separation 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" Synonym(s): union, unification, uniting, conjugation, jointure Antonym(s): disunion
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Unification \U`nifica"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.
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
unification The generalisation of {pattern matching} that is the {logic programming} equivalent of {instantiation} in {logic}. When two {term}s 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 {recursive}ly 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. (1995-12-14)