摘要 |
PURPOSE:To cancel automatically processing of the other answer of an inquiry for which one answer is get, by releasing the data area of a low-order process to send a KILLED message to a high-order process from the low-order process when the low-order process receives a CANCEL message from the high-order process. CONSTITUTION:In the system where processes are divided to SENDER processes and AND/OR processes and PROLOG is executed in communication between them, plural processors where a data base 4 where a PROLOG program is stored and AND/OR and SENDER process management tables 5 and 6 are used to control processes in a process management part 3 are used to constitute a prolog execution machine. When receiving the CANCEL message from the high-order process, the low-order process sends this message to a further low-order process, and the low-order process sends the KILLED message to the high-order process and releases its own data area if there are no further low-order processes, and the high-order process releases the data area when receiving the KILLED message of all lower processes.
|