| 摘要 |
PURPOSE:To improve the processing efficiency of a program by determining a condition, on which A (or A and B) is not retrieved, if it is dynamically confirmed that the processing of A (or A and B) on this condition results in failure. CONSTITUTION:The titled processor is provided with an operation part 1, a control part 2, a main memory 3, a cache memory 4, an address converting part 5, an interval bus 6, an input/output bus control part 7, a common input/ output bus 8, and a console processor 9. Various input/output devices are connected to the common input/output bus 8. If a logical value is set to a special built-in predicate of input/output or the like (which cannot be completely returned to the state before try by back track), it is dynamically confirmed that the processing of A (or A and B) on the condition results in failure (and special attendant functions of input/output or the like do not exist) to determine this condition where A (or A and B) is not retrieved.
|
