browse words by letter
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
unification |
3 definitions found From Webster's Revised Unabridged Dictionary (1913) [web1913]: Unification \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. From WordNet r 1.6 [wn]: unification n 1: an occurrence that involves the production of a union [syn: {fusion}, {merger}] 2: making or becoming a single unit; "the union of opposing factions"; "he looked forward to the unification of his family for the holidays" [syn: {union}, {uniting}] From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]: unificationThe 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)
more about unification
This work is licensed under a
