| 摘要 |
PURPOSE:To obtain the value of a variable with no tracing operation by writing the constant values into all linked variable cells to eliminate this link in case the constants are unified to the variable. CONSTITUTION:When plural variable cells are bundled in an annular link, a certain cell can trace all other cells. Thus it is possible to trace the annular link and to write the same constant into all variable cells when a certain variable is unified with another one. Then the variable value can be immediately obtained with no tracing operation after a constant is once written into the variable cell. Thus no problem is produced even though the link is eliminated once no restriction is needed among cells. Under such conditions, the fixed value and the unfixed value of variables can be obtained because the reference is given to the variable cells with no reference given to the constant cell. In such a way, the values of all variables unified with the constant can be obtained at a high speed with no tracing operation regardless of the scale of the annular link.
|
