mathfnx.exp

NASA 开发使用的一个专家系统

TRUE
CLIPS> (batch "mathfnx.bat")
TRUE
CLIPS> (clear)                            ; 10.6.1.1
CLIPS> (defglobal 
   ?*pi1/4*  = (* (pi)  0.25)
   ?*pi1/2*  = (* (pi)  0.50)
   ?*pi3/4*  = (* (pi)  0.75)
   ?*pi5/4*  = (* (pi)  1.25)
   ?*pi3/2*  = (* (pi)  1.50)
   ?*pi7/4*  = (* (pi)  1.75)
   ?*pi2*    = (* (pi)  2.00)
   ?*pi7*    = (* (pi)  7.00)
   ?*pi-9/2* = (* (pi) -4.50))
CLIPS> (reset)
CLIPS> (+)                                ; 10.6.1.1
[ARGACCES4] Function + expected at least 2 argument(s)
CLIPS> (+ 1)                              ; 10.6.1.1
[ARGACCES4] Function + expected at least 2 argument(s)
CLIPS> (+ a)                              ; 10.6.1.1
[ARGACCES4] Function + expected at least 2 argument(s)
CLIPS> (+ 2 [a])                          ; 10.6.1.1
[ARGACCES5] Function + expected argument #2 to be of type integer or float
CLIPS> (+ 1 2)                            ; 10.6.1.1 : 3
3
CLIPS> (+ 4 5.0 8)                        ; 10.6.1.1 : 17.0
17.0
CLIPS> (+ 2.3 3.2)                        ; 10.6.1.1 : 5.5
5.5
CLIPS> (+ 12 3.5)                         ; 10.6.1.1 : 15.5
15.5
CLIPS> (+ 7.5 123)                        ; 10.6.1.1 : 130.5
130.5
CLIPS> (+ -10 5)                          ; 10.6.1.1 : -5
-5
CLIPS> (+ 13.5 -26)                       ; 10.6.1.1 : -12.5
-12.5
CLIPS> (+ -26 14.5)                       ; 10.6.1.1 : -11.5
-11.5
CLIPS> (-)                                ; 10.6.1.2
[ARGACCES4] Function - expected at least 2 argument(s)
CLIPS> (- 1)                              ; 10.6.1.2
[ARGACCES4] Function - expected at least 2 argument(s)
CLIPS> (- a)                              ; 10.6.1.2
[ARGACCES4] Function - expected at least 2 argument(s)
CLIPS> (- 2 "a")                          ; 10.6.1.2
[ARGACCES5] Function - expected argument #2 to be of type integer or float
CLIPS> (- 1 2)                            ; 10.6.1.2 : -1
-1
CLIPS> (- 24 5.0 8)                       ; 10.6.1.2 : 11.0
11.0
CLIPS> (format nil "%0.6f" (- 2.3 3.2))   ; 10.6.1.2 : -0.9
"-0.900000"
CLIPS> (- 12 3.5)                         ; 10.6.1.2 : 8.5
8.5
CLIPS> (- 7.5 123)                        ; 10.6.1.2 : - 115.5
-115.5
CLIPS> (- -10 5)                          ; 10.6.1.2 : -15
-15
CLIPS> (- 13.5 -26)                       ; 10.6.1.2 : 39.5
39.5
CLIPS> (- -26 14.5)                       ; 10.6.1.2 : -40.5
-40.5
CLIPS> (*)                                ; 10.6.1.3
[ARGACCES4] Function * expected at least 2 argument(s)
CLIPS> (* 1)                              ; 10.6.1.3
[ARGACCES4] Function * expected at least 2 argument(s)
CLIPS> (* (create$))                      ; 10.6.1.3
[ARGACCES4] Function * expected at least 2 argument(s)
CLIPS> (* 2 [b])                          ; 10.6.1.3
[ARGACCES5] Function * expected argument #2 to be of type integer or float
CLIPS> (* 2 3)                            ; 10.6.1.3 : 6
6
CLIPS> (format nil "%0.6f" (* -3.5 8.6))  ; 10.6.1.3 : -30.1
"-30.100000"
CLIPS> (format nil "%0.6f" (* 4 11.1))    ; 10.6.1.3 : 44.4
"44.400000"
CLIPS> (format nil "%0.6f" (* -13.2 -6))  ; 10.6.1.3 : 79.2
"79.200000"
CLIPS> (format nil "%0.6f" (* 2 3.7 1.2)) ; 10.6.1.3 : 8.88
"8.880000"
CLIPS> (/)                                ; 10.6.1.4
[ARGACCES4] Function / expected at least 2 argument(s)
CLIPS> (/ 1)                              ; 10.6.1.4
[ARGACCES4] Function / expected at least 2 argument(s)
CLIPS> (/ c)                              ; 10.6.1.4
[ARGACCES4] Function / expected at least 2 argument(s)
CLIPS> (/ 2 a)                            ; 10.6.1.4
[ARGACCES5] Function / expected argument #2 to be of type integer or float
CLIPS> (/ 4 0)                            ; 10.6.1.4
[PRNTUTIL7] Attempt to divide by zero in / function.
1.0
CLIPS> (/ 4 0.0)                          ; 10.6.1.4
[PRNTUTIL7] Attempt to divide by zero in / function.
1.0
CLIPS> (format nil "%0.6f" (/ 2 3))       ; 10.6.1.3 : 0.666667
"0.666667"
CLIPS> (format nil "%0.6f" (/ -3.5 8.6))  ; 10.6.1.3 : -0.406977
"-0.406977"
CLIPS> (format nil "%0.6f" (/ 4 11.1))    ; 10.6.1.3 : 0.360360
"0.360360"
CLIPS> (format nil "%0.6f" (/ -13.2 -6))  ; 10.6.1.3 : 2.2
"2.200000"
CLIPS> (format nil "%0.6f" (/ 2 3.7 1.2)) ; 10.6.1.3 : 0.450450
"0.450450"
CLIPS> (set-auto-float-dividend FALSE)    ; 10.6.1.3
TRUE
CLIPS> (/ 2 3)                            ; 10.6.1.3 : 0
0
CLIPS> (format nil "%0.6f" (/ 2 3.0))     ; 10.6.1.3 : 0.666667
"0.666667"
CLIPS> (format nil "%0.6f" (/ 2 4 3.0))   ; 10.6.1.3 : 0.0
"0.000000"
CLIPS> (set-auto-float-dividend TRUE)     ; 10.6.1.3
FALSE
CLIPS> (div)                              ; 10.6.1.5
[ARGACCES4] Function div expected at least 2 argument(s)
CLIPS> (div 1)                            ; 10.6.1.5
[ARGACCES4] Function div expected at least 2 argument(s)
CLIPS> (div a)                            ; 10.6.1.5
[ARGACCES4] Function div expected at least 2 argument(s)
CLIPS> (div 1 0.0)                        ; 10.6.1.5
[PRNTUTIL7] Attempt to divide by zero in div function.
1
CLIPS> (div 1 0)                          ; 10.6.1.5
[PRNTUTIL7] Attempt to divide by zero in div function.
1
CLIPS> (div 1 0.4)                        ; 10.6.1.5
[PRNTUTIL7] Attempt to divide by zero in div function.
1
CLIPS> (div 5 2)                          ; 10.6.1.5 : 2
2
CLIPS> (div 19 2 2)                       ; 10.6.1.5 : 4
4
CLIPS> (div 7.5 1.5)                      ; 10.6.1.5 : 7
7
CLIPS> (max)                              ; 10.6.1.6
[ARGACCES4] Function max expected at least 2 argument(s)
CLIPS> (max a)                            ; 10.6.1.7
[ARGACCES4] Function max expected at least 2 argument(s)
CLIPS> (max 1)                            ; 10.6.1.7
[ARGACCES4] Function max expected at least 2 argument(s)
CLIPS> (max 1 2.0)                        ; 10.6.1.7 : 2.0
2.0
CLIPS> (max 2.0 1)                        ; 10.6.1.7 : 2.0
2.0
CLIPS> (max 1.0 1)                        ; 10.6.1.7 : 1.0
1.0
CLIPS> (max 1 1.0)                        ; 10.6.1.7 : 1
1
CLIPS> (max -3.0 2.0 4.0)                 ; 10.6.1.7 : 4.0
4.0
CLIPS> (max 2.0 4 3.0)                    ; 10.6.1.7 : 4
4
CLIPS> (max 3.0 4.0 -2.0)                 ; 10.6.1.7 : 4.0
4.0
CLIPS> (max 4 -2.0 -3.0)                  ; 10.6.1.7 : 4
4
CLIPS> (max 4.0 -3.0 2.0)                 ; 10.6.1.7 : 4.0
4.0
CLIPS> (max 2.0 3.0 4.0)                  ; 10.6.1.6 : 4.0
4.0
CLIPS> (min)                              ; 10.6.1.7
[ARGACCES4] Function min expected at least 2 argument(s)
CLIPS> (min a)                            ; 10.6.1.7
[ARGACCES4] Function min expected at least 2 argument(s)
CLIPS> (min 1)                            ; 10.6.1.7
[ARGACCES4] Function min expected at least 2 argument(s)
CLIPS> (min 1 2.0)                        ; 10.6.1.7 : 1
1
CLIPS> (min 2.0 1)                        ; 10.6.1.7 : 1
1
CLIPS> (min 1.0 1)                        ; 10.6.1.7 : 1.0
1.0
CLIPS> (min 1 1.0)                        ; 10.6.1.7 : 1
1
CLIPS> (min -3.0 2.0 4.0)                 ; 10.6.1.7 : -3.0
-3.0
CLIPS> (min 2.0 4.0 3.0)                  ; 10.6.1.7 : 2.0
2.0
CLIPS> (min 3.0 4.0 -2.0)                 ; 10.6.1.7 : -2.0
-2.0
CLIPS> (min 4.0 -2.0 -3.0)                ; 10.6.1.7 : -3.0
-3.0
CLIPS> (min 4.0 -3.0 2.0)                 ; 10.6.1.7 : -3.0
-3.0
CLIPS> (min 2.0 3.0 4.0)                  ; 10.6.1.7 : 2.0
2.0
CLIPS> (abs)                              ; 10.6.1.8
[ARGACCES4] Function abs expected exactly 1 argument(s)
CLIPS> (abs 1 2)                          ; 10.6.1.8
[ARGACCES4] Function abs expected exactly 1 argument(s)
CLIPS> (abs a)                            ; 10.6.1.8
[ARGACCES5] Function abs expected argument #1 to be of type integer or float
CLIPS> (abs 10)                           ; 10.6.1.8 : 10
10
CLIPS> (abs 0)                            ; 10.6.1.8 : 0
0
CLIPS> (abs -13)                          ; 10.6.1.8 : 13
13
CLIPS> (abs -3.5)                         ; 10.6.1.8 : 3.5
3.5
CLIPS> (abs 7.5)                          ; 10.6.1.8 : 7.5
7.5
CLIPS> (abs 4.0)                          ; 10.6.1.8 : 4.0
4.0
CLIPS> (abs -2)                           ; 10.6.1.8 : 2
2
CLIPS> (abs -4128.2)                      ; 10.6.1.8 : 4128.2
4128.2
CLIPS> (float)                            ; 10.6.1.9
[ARGACCES4] Function float expected exactly 1 argument(s)
CLIPS> (float 1 2)                        ; 10.6.1.9
[ARGACCES4] Function float expected exactly 1 argument(s)
CLIPS> (float a)                          ; 10.6.1.9
[ARGACCES5] Function float expected argument #1 to be of type integer or float
CLIPS> (float 10)                         ; 10.6.1.9 : 10.0
10.0
CLIPS> (float 0)                          ; 10.6.1.9 : 0.0
0.0
CLIPS> (float -13)                        ; 10.6.1.9 : -13.0
-13.0
CLIPS> (float -3.5)                       ; 10.6.1.9 : -3.5
-3.5
CLIPS> (float 7.5)                        ; 10.6.1.9 : 7.5
7.5
CLIPS> (float 4.0)                        ; 10.6.1.9 : 4.0
4.0
CLIPS> (float -2)                         ; 10.6.1.9 : -2.0
-2.0
CLIPS> (integer)                          ; 10.6.1.10
[ARGACCES4] Function integer expected exactly 1 argument(s)
CLIPS> (integer 1 2)                      ; 10.6.1.10
[ARGACCES4] Function integer expected exactly 1 argument(s)
CLIPS> (integer a)                        ; 10.6.1.10
[ARGACCES5] Function integer expected argument #1 to be of type integer or float
CLIPS> (integer 10)                       ; 10.6.1.10 : 10
10
CLIPS> (integer 0)                        ; 10.6.1.10 : 0
0
CLIPS> (integer -13)                      ; 10.6.1.10 : -13
-13
CLIPS> (integer -3.5)                     ; 10.6.1.10 : -3
-3
CLIPS> (integer 7.5)                      ; 10.6.1.10 : 7
7
CLIPS> (integer 4.0)                      ; 10.6.1.10 : 4
4
CLIPS> (integer -2)                       ; 10.6.1.10 : -2
-2
CLIPS> (acos)                             ; 10.6.2.1
[ARGACCES4] Function acos expected exactly 1 argument(s)
CLIPS> (acos a)                           ; 10.6.2.1
[ARGACCES5] Function acos expected argument #1 to be of type integer or float
CLIPS> (acos 1 [b])                       ; 10.6.2.1
[ARGACCES4] Function acos expected exactly 1 argument(s)
CLIPS> (acos -1.1)                        ; 10.6.2.1 : Error
[EMATHFUN1] Domain error for acos function.
0.0
CLIPS> (acos 1.1)                         ; 10.6.2.1 : Error
[EMATHFUN1] Domain error for acos function.
0.0
CLIPS> (format nil "%0.6f" (acos 1.0))    ; 10.6.2.1 : 0.0
"0.000000"
CLIPS> (format nil "%0.6f" (acos -1.0))   ; 10.6.2.1 : 3.141593
"3.141593"
CLIPS> (format nil "%0.6f" (acos 0.5))    ; 10.6.2.1 : 1.047198
"1.047198"
CLIPS> (acosh)                            ; 10.6.2.1
[ARGACCES4] Function acosh expected exactly 1 argument(s)
CLIPS> (acosh a)                          ; 10.6.2.1
[ARGACCES5] Function acosh expected argument #1 to be of type integer or float
CLIPS> (acosh 1 [b])                      ; 10.6.2.1
[ARGACCES4] Function acosh expected exactly 1 argument(s)
CLIPS> (format nil "%0.6f" (acosh 1.1))   ; 10.6.2.1 : 0.443568 
"0.443568"
CLIPS> (format nil "%0.6f" (acosh 1.0))   ; 10.6.2.1 : 0.0
"0.000000"
CLIPS> (format nil "%0.6f" (acosh 0.0))   ; 10.6.2.1 : Error
[EMATHFUN1] Domain error for acosh function.
""
CLIPS> (format nil "%0.6f" (acosh -1.0))  ; 10.6.2.1 : Error
[EMATHFUN1] Domain error for acosh function.
""
CLIPS> (format nil "%0.6f" (acosh 2.0))   ; 10.6.2.1 : 1.316958