(v.) instantiation of a variable with a value.

The pattern matching technique used by Prolog to match goals and sub-goals in a program.

The process of matching a goal with the head of a clause during the evaluation of a query, or of matching arbitrary terms with one another during program execution. The rules governing the unification of terms are: Two constants unify with one another if they are identical. A variable unifies with a constant or a compound term. As a result of the unification, the variable is instantiated to the constant or compound term. A variable unifies with another variable. As a result of the unification, they become the same variable. A compound term unifies with another compound term if they have the same functor and if all of the arguments can be unified.

The process by which separated and conflicting entities become one by establishing relationships of true love. The model of unification is the family, whose diverse children are united through the love of their parents and their love for one another. The process of unification is the overcoming of enmity between quarreling brothers, symbolized by Cain and Abel.

Unification is using a rank of pipes to play either at more than one pitch or on more than one keyboard. Each stop providing one of these features is called a unified stop, the rank is called a unified rank, and an organ containing all or mostly such ranks is called a unit organ. Unification is more practical with non-mechanical actions, and when carried too far results in loss of clarity.

Or unified system. System used in most theatre organs and in some smaller instruments (such as certain mortuary organs made by Seeburg and Operators) whereby the keyboard may be connected to the rank of pipes in several different ways. If the 8' flute stop is selected, for example, the keyboard is connected to the rank of flute pipes so they play at normal pitch. If the 4' flute stop is selected, the pipes play an octave higher. If the 16' flute stop is selected, they play an octave lower. Or, by selecting the 16', 8' and 4' flute stops at the same time, three pipes in the same rank play when each key is played. In contrast, a straight (or non-unified) organ has a separate rank of pipes for each stop. Because each rank of pipes in a unified organ is available at several pitches on several different manuals, a unified organ has fewer ranks of pipes in proportion to the number of stops.

"Unification" is the title of a two-part Star Trek: The Next Generation episode, from the fifth season. This is a notable episode in that it garnered one of the highest ratings in all 7 seasons of TNG's run.

an occurrence that involves the production of a union

the state of being joined or united or linked; "there is strength in union"

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"

Physicists hope to find a theory that will describe, or unify, all of nature's apparently different forces within the same framework.

A principle which has done for physics what the United Nations has for world government.

The act of unifying, or the state of being unified.