Also found in: Dictionary, Thesaurus, Idioms, Wikipedia.
Related to unification: Unification Church


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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.



in law, the process whereby the appropriate agencies of a state or several states develop legal norms regulating certain types of societal relationships in a uniform way.

In the USSR the process of unifying the legislation of the Union and autonomous republics began at the time of the formation of the Soviet state and aided the economic and social development of all the republics. In the present period, the process primarily involves the codification of legislation. In such bodies of law as the Basic Principles of Legislation of the USSR and the Union Republics, legal principles for the appropriate branch of law are set forth, and general norms are determined for questions that should be treated uniformly in the laws of the individual republics. The Union republics reproduce and develop these principles and norms in their legislation.

A great deal of work on the unification of legislation is being carried out by the socialist countries within the framework of the Council for Mutual Economic Assistance (COMECON). The countries are carrying out this work because of the basic uniformity of their economic and political structures and because of their desire to make their legal systems more similar. By sharing their experience in lawmaking, they ensure even fuller cooperation in all spheres of social activity and relations, particularly economic development. Such cooperation is seen in the elaboration of the General Conditions of Delivery of Goods Between Organizations of Countries of COMECON, in the introduction of uniform standards and specifications, and in other measures.

Unification can also be achieved in the process of development of relations between states having different state and social structures, particularly in such areas as trade relations and the shipping of goods between countries. The York-Antwerp Rules, for example, regulate certain aspects of international commerce.

The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.
References in periodicals archive ?
The Constitutional Model of German Unification includes three elements: (1) the constitutional characteristics of unification; (2) constitutional recommendations for future unifying States; and (3) predictions of future Basic Law amendments relating to unification.
The Wall may have fallen through "revolution," but unification was the product of statecraft.
Physicists have been troubled because unification of even three forces requires much higher energies.
I think at the end of the day, unification between the North and South will be resolved between the two Koreas.
The Proclamation also indicated that since the Unification and Integration Policy became a cogent part of the National Development Plan, the people of Liberia have seen marked progress and improvement in all spheres of national endeavors, particularly in the economic, educational, communication and social fields.
Mohd Redzuan said if the halal unification is successfully implemented it would mean that one single halal certification will govern everything in the entire world.
To increase the potential for a good outcome, the report recommends that the ROK begin developing policies to provide most of the North Korean elite with a favorable life post-unification to ensure their cooperation in the unification process.
"If the unification fight does not happen then the rematch with Palicte is for us to think about.
Presenting The Costs Of Non-Unification - Brexit And The Unification Of Ireland report at the Europa Hotel in Belfast yesterday, one of the authors, Dr Kurt Hubner, said: "Since the referendum the whole picture has changed enormously, the macro economic situation has changed enormously.
According to the South Korean unification ministry official, two councilor-level North Korean diplomats stationed in Russia will attend the forum scheduled to be held on April 18 in Almaty, Yonhap news agency reported.
Originating in ideas developed at the Yale School of Drama, CornishAEs project gestated over years before becoming the first book to treat unification through theater and performance.