| 摘要 |
PURPOSE:To quicken a re-output processing time, and to control dealing of a result on the way by accumulating plural answers, and postponing the processing, in a program processing system using a predicate logical type language program. CONSTITUTION:Basing on a question whose processing is requested from a terminal equipment 5, an execution control part 2 generates a goal list, starts a process in order to solve it, and delivers a new goal list to its process. In case a body of its goal list is constituted of plural literals C, D, in case there are plural D, -G answers of the goal list, only a part of the answers is returned to a high-order process, and the rest is accumulated in a memory 4 and its processing is postponed. In case a re-execution is requested from the high-order process, other accumulated answers are outputted successively.
|
