| 摘要 |
PURPOSE:To convert a given basic equation into a logical expression, formula integral and difference form by applying a logical programming to a part stating a program macro-control. CONSTITUTION:A logical expression set 1 is a set of logical expressions represented by P Q and the like and is indexed by predicated names, having a function to retrieve. A deduction means 2 performs an interpretation of the logical expression and if P is given for instance, its deduction means 2 will carry out a process to obtain the logical expression P Q and the like concerning the P from the logical expression set 1 through a transfer line 12. And also the deduction means 2 checks a scheme 3 whether a calculation of data regarding the Q has been carried out from P Q. If such data have been calculated, the Q is satisfied and a value is bound to the P. If not calculated yet, a routine corresponding to the Q of a program base 4 is started.
|
