UNIFICATION OF LOGIC OR

摘要

PURPOSE: To efficiently resolve an OR system by unifying a first data unit with a second data unit and accessing a context identifier related to the first data unit and using the context identifier to decide whether first and second data units can be unified or not. CONSTITUTION: With respect to unification of two data structures 22 and 24, the data unit of one data structure is unified with that of the other to obtain one new data unit where two unified data units are coupled. In the case of OR, context identifiers C1 to C4 which discriminate the combinations of OR branches are used. Each OR branch in combinations can be discriminated by a peculiar identifier. An OR branch and OR can be discriminated by, for example, peculiar numbers, and these two numbers are combined to form a choice, and this choice is combined with another to from the context identifiers C1 to C4 . Thus, the OR system is efficiently resolved.