| 摘要 |
PURPOSE:To improve the processing efficiency by holding in a state part, one state of a state that a term having information of an unfinished processing is instructed by a pointer part (P), a state that it is detected that a processing for a division (D) does not exist, and a state that said state is unknown, referring to the state part, in case a division is required, and determining whether a retrieval is required or not. CONSTITUTION:In a state of a figure (a), a part P of DP, and a state part (J) 42 are initialized to an address of the first term of a goal stack (GS) 31, and 'non-existence', respectively. When a term of S is added to a figure (b), the J 42 is changed to 'existence', and the P 41 is not varied. As for the contents of a DP 40, a term of the GS is added and maintained as shown in a figure (c). In this case, when a division request message is received from other processor, and a division processing is disclosed, since the J 42 is 'existence', the processing corresponding to the first term of the GS 31 pointed by the P 31 is divided, and as for the first term of the GS, the J 42 is changed to 'unknown' as shown in a figure (d).
|
