| 摘要 |
PURPOSE:To obtain an information processor which is reduced in overhead for back tracking and processses a predicate logic type language at a high speed, by executing the evaluation of a target in the execution of the predicate logic type language after changing to a procedual program. CONSTITUTION:To execute a question, the process of an inference device 1 is started by inputted the question from an input-output device 2. The device infers a data base stored in a data base storage device 3 and, when a target to be evaluated is led out, checks whether or not a predicate matching the target exists in a procedual program name storage device 4. If no predicate exists, the device 1 directly searches the data base and, when exists, reads out the program name coresponding to the matching predicate and outputs the program name to a program executing device 5 together with the target. Then the inference device 1 waits for the answer from the program executing device 5. When execution of the program is not performed normally, ''NO'' is answered and the inference device 1 outputs the answer to the final question to the input-output device 2 when the process is terminated by back tracking.
|
