| 摘要 |
PURPOSE:To prevent the number of times of updating of a history recording part from an execution control part, by providing an operator for rule description having the same function as the presence of a cut part on the forefront of a body. CONSTITUTION:When a PROLOG program '?-a' is executed, a rule regarding a predicate (a) is taken out from a program storing part 1, and at the beginning, a first rule 'a!-b' is executed. The execution control part 2 confirms the registration of a history without choice by an operator '!-' forming the rule, and performs matching when the matching of a head is performed successfully. When the matching is performed successfully, the history is set without generating the choice for the rule after a second rule, and the execution of the body is performed. In such way, it is possible to perform the processing in a single action instead of a conventional two times of processings where the choice is recorded on the history at a time when the matching of the head is performed successfully, and a recorded choice is erased by the cutting processing of the body.
|
