Unification
noun
1.
the process of unifying or uniting; union:
the unification of the 13 original colonies.
2.
the state or condition of being unified:
The unification of the manufacturing and distribution functions under one executive has advantages.
noun
1.
an act, instance, or process of uniting
2.
the state of being united
programming
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.
(1995-12-14)
Read Also:
- Unification-church
noun 1. a religious sect that combines elements of Protestantism and Buddhism, founded by the Rev. Sun Myung Moon in 1954: many of its members live in communes sponsored by the sect. Unification Church noun 1. a religious sect founded in 1954 by Sun Myung Moon (1920–2012), S Korean industrialist and religious leader See also […]
- Unified
verb (used with or without object), unified, unifying. 1. to make or become a single unit; unite: to unify conflicting theories; to unify a country. verb -fies, -fying, -fied 1. to make or become one; unite
- Unified atomic mass unit
noun 1. another name for atomic mass unit
- Unified-field-theory
noun, Physics. 1. electroweak theory. 2. any field theory, especially Einstein’s, that attempts to combine the gravitational and electromagnetic fields in a single mathematical framework, thus extending the general theory of relativity. unified field theory noun 1. any theory capable of describing in one set of equations the properties of gravitational fields, electromagnetic fields, and […]
- Unified han
Han character