UNIFICATION PROCESSING SYSTEM OF PROLOG DATA BASE

摘要

PURPOSE:To remove necessity for tracing a pointer plural times by assigning a variable area formed independently of a work area and being substituted by the real value of a variable to the variable included in a unified body, using the address of said area as a temporary value, and after determining the real value, substituting the real value for the variable area. CONSTITUTION:When a variable in a goal is to be unified with a constant of a head in a data base, a value is substituted for a variable area specified by the variable in the goal and the constant is transferred to a work area. When a constant in the goal is to be unified with a variable of the head in the data base, the constant is substituted for an area in a variable corresponding table which corresponds to the variable No. of the head and the constant is transferred to the work area. If both variables are to be unified, the variable No. of the goal is substituted for the area of the variable corresponding table which corresponds to the variable No. of the head and the variable No. of the goal is transferred to the work area. Then, a regulated body is transferred to the work area. If no variable is included in the head, a new variable area is assigned and its address is substituted for the variable corresponding table.