multifnx.exp

一套美国国家宇航局人工智能中心NASA的专家系统工具源代码

TRUE
CLIPS> (batch "multifnx.bat")
TRUE
CLIPS> (clear)                            ; 10.3.1
CLIPS> (create$)                        ; 10.3.1
()
CLIPS> (create$ a "a" 3 5.1 [x])          ; 10.3.1
(a "a" 3 5.1 [x])
CLIPS> (create$ (create$) (create$))  ; 10.3.1
()
CLIPS> (create$ (create$ a b) (create$ c)); 10.3.1
(a b c)
CLIPS> (create$ a (create$ e f))          ; 10.3.1
(a e f)
CLIPS> (create$ (create$ d x y) a 2)      ; 10.3.1
(d x y a 2)
CLIPS> (create$ hammer drill saw screw pliers wrench)
(hammer drill saw screw pliers wrench)
CLIPS> (create$ (+ 3 4) (* 2 3) (/ 8 4))
(7 6 2.0)
CLIPS> (nth$)                              ; 10.3.2
[ARGACCES4] Function nth$ expected exactly 2 argument(s)
CLIPS> (nth$ 1)                           ; 10.3.2
[ARGACCES4] Function nth$ expected exactly 2 argument(s)
CLIPS> (nth$ 2 (create$ a b c) 5)          ; 10.3.2
[ARGACCES4] Function nth$ expected exactly 2 argument(s)
CLIPS> (nth$ a (create$ x y z))           ; 10.3.2
[ARGACCES5] Function nth$ expected argument #1 to be of type integer
CLIPS> (nth$ 1 x)                         ; 10.3.2
[ARGACCES5] Function nth$ expected argument #2 to be of type multifield
CLIPS> (nth$ 2 (create$ d e f))         ; 10.3.2
e
CLIPS> (nth$ -1 (create$ x y z))          ; 10.3.2
nil
CLIPS> (nth$ 0 (create$ x y z))           ; 10.3.2
nil
CLIPS> (nth$ 4 (create$ x y z))            ; 10.3.2
nil
CLIPS> (nth$ 2 (create$ x y z))            ; 10.3.2
y
CLIPS> (nth$ -1 (create$))                ; 10.3.2
nil
CLIPS> (nth$ 0 (create$))                 ; 10.3.2
nil
CLIPS> (nth$ 1 (create$))                 ; 10.3.2
nil
CLIPS> (nth$ 2 (create$))                 ; 10.3.2
nil
CLIPS> (nth$ 3 (create$ a b c d e f g))  ; 10.3.2
c
CLIPS> (member$)                           ; 10.3.3
[ARGACCES4] Function member$ expected exactly 2 argument(s)
CLIPS> (member$ x)                        ; 10.3.3
[ARGACCES4] Function member$ expected exactly 2 argument(s)
CLIPS> (member$ x (create$ y x q) r)       ; 10.3.3
[ARGACCES4] Function member$ expected exactly 2 argument(s)
CLIPS> (member$ a (create$ 3 4.1 "a" [a] a))
5
CLIPS> (member$ "a" (create$ 3 a 4.1 [a] "a"))
5
CLIPS> (member$ [a] (create$ 3 4.1 "a" a [a]))
5
CLIPS> (member$ 3 (create$ 4.1 3.0 "a" [a] 3 a))
5
CLIPS> (member$ 4 (create$ 4 a 4.0 "a" [a]))
1
CLIPS> (member$ (create$ a) (create$ b a))
2
CLIPS> (member$ a (create$ a b c))        ; 10.3.3
1
CLIPS> (member$ x (create$ a b c))        ; 10.3.3
FALSE
CLIPS> (member$ blue (create$ red 3 "text" 8.7 blue))
5
CLIPS> (member$ 4 (create$ red 3 "text" 8.7 blue))
FALSE
CLIPS> (subsetp)                          ; 10.3.4
[ARGACCES4] Function subsetp expected exactly 2 argument(s)
CLIPS> (subsetp (create$ a))              ; 10.3.4
[ARGACCES4] Function subsetp expected exactly 2 argument(s)
CLIPS> (subsetp (create$ a) (create$ b) 3)
[ARGACCES4] Function subsetp expected exactly 2 argument(s)
CLIPS> (subsetp 1 (create$ a))            ; 10.3.4
[ARGACCES5] Function subsetp expected argument #1 to be of type multifield
CLIPS> (subsetp (create$ a) a)            ; 10.3.4
[ARGACCES5] Function subsetp expected argument #2 to be of type multifield
CLIPS> (subsetp (create$) (create$))      ; 10.3.4
TRUE
CLIPS> (subsetp (create$) (create$ x y))  ; 10.3.4
TRUE
CLIPS> (subsetp (create$ x y) (create$))  ; 10.3.4
FALSE
CLIPS> (subsetp (create$ a b) (create$ b a))
TRUE
CLIPS> (subsetp (create$ a) (create$ a b))
TRUE
CLIPS> (subsetp (create$ b) (create$ a b))
TRUE
CLIPS> (subsetp (create$ b a a b) (create$ c a b d))
TRUE
CLIPS> (subsetp (create$ a b c) (create$ a b d))
FALSE
CLIPS> (subsetp (create$ a) (create$ 3 4.1 "a" [a])) 
FALSE
CLIPS> (subsetp (create$ [a]) (create$ 3 4.1 "a" a))  
FALSE
CLIPS> (subsetp (create$ "a") (create$ 3 4.1 a [a]))  
FALSE
CLIPS> (subsetp (create$ 3) (create$ 3.0 "a" [a]))   
FALSE
CLIPS> (subsetp (create$ 3.0) (create$ 3 "a" [a])) 
FALSE
CLIPS> (subsetp (create$ a) (create$ 3 a 4.1)) 
TRUE
CLIPS> (subsetp (create$ [a]) (create$ [a] 3 4.1))  
TRUE
CLIPS> (subsetp (create$ "a") (create$ 3 4.1 "a"))  
TRUE
CLIPS> (subsetp (create$ 3) (create$ 3 "a" [a]))   
TRUE
CLIPS> (subsetp (create$ 3.0) (create$ "a" [a] 3.0)) 
TRUE
CLIPS> (subsetp (create$ hammer saw drill)
         (create$ hammer drill wrench pliers saw))
TRUE
CLIPS> (subsetp (create$ wrench crowbar)
         (create$ hammer drill wrench pliers saw))  
FALSE
CLIPS> (delete$)                        ; 10.3.5
[ARGACCES4] Function delete$ expected exactly 3 argument(s)
CLIPS> (delete$ 1)                        ; 10.3.5
[ARGACCES4] Function delete$ expected exactly 3 argument(s)
CLIPS> (delete$ (create$ a b c) [x] 3 3)    ; 10.3.5
[ARGACCES4] Function delete$ expected exactly 3 argument(s)
CLIPS> (delete$ (create$ a b c d) 3.4 3.4)    ; 10.3.5
[ARGACCES5] Function delete$ expected argument #2 to be of type integer
CLIPS> (delete$ (create$ a b c d) a a)      ; 10.3.5
[ARGACCES5] Function delete$ expected argument #2 to be of type integer
CLIPS> (delete$ "a b" 3 3)                ; 10.3.5
[ARGACCES5] Function delete$ expected argument #1 to be of type multifield
CLIPS> (delete$ (create$ x 1 z) -1 -1)     ; 10.3.5
[MULTIFUN1] Multifield index -1 out of range 1..3 in function delete$.
()
CLIPS> (delete$ (create$ x 4.2 z) 0 0)    ; 10.3.5
[MULTIFUN1] Multifield index 0 out of range 1..3 in function delete$.
()
CLIPS> (delete$ (create$ [ab] cd ef) 1 1) ; 10.3.5
(cd ef)
CLIPS> (delete$ (create$ abc d ef) 2 2)   ; 10.3.5
(abc ef)
CLIPS> (delete$ (create$ abcd 2 e) 3 3)   ; 10.3.5
(abcd 2)
CLIPS> (delete$ (create$ q 3 "tx") 4 4)   ; 10.3.5
[MULTIFUN1] Multifield index 4 out of range 1..3 in function delete$.
()
CLIPS> (delete$ (create$) -1 -1)             ; 10.3.5
[MULTIFUN1] Multifield index -1 out of range 1..0 in function delete$.
()
CLIPS> (delete$ (create$) 0 0)              ; 10.3.5
[MULTIFUN1] Multifield index 0 out of range 1..0 in function delete$.
()
CLIPS> (delete$ (create$) 1 1)              ; 10.3.5
[MULTIFUN1] Multifield index 1 out of range 1..0 in function delete$.
()
CLIPS> (delete$ (create$) 2 2)              ; 10.3.5
[MULTIFUN1] Multifield index 2 out of range 1..0 in function delete$.
()
CLIPS> (delete$ (create$ hammer drill saw pliers wrench) 3 3)
(hammer drill pliers wrench)
CLIPS> (delete$ (create$ computer printer hard-disk) 1 1)
(printer hard-disk)
CLIPS> (delete$ (create$ computer printer hard-disk floppy-drive) 2 3)
(computer floppy-drive)
CLIPS> (delete$ (create$ computer printer hard-disk floppy-drive) 1 4)
()
CLIPS> (delete$ (create$ computer printer hard-disk floppy-drive) 1 2)
(hard-disk floppy-drive)
CLIPS> (delete$ (create$ computer printer hard-disk floppy-drive) 1 3)
(floppy-drive)
CLIPS> (delete$ (create$ computer printer hard-disk floppy-drive) 2 4)
(computer)
CLIPS> (delete$ (create$ computer printer hard-disk floppy-drive) 3 4)
(computer printer)
CLIPS> (delete$ (create$ computer printer hard-disk floppy-drive) 3 2)
[MULTIFUN1] Multifield index range 3..2 out of range 1..4 in function delete$.
()
CLIPS> (length)                           ; 10.3.6
[ARGACCES4] Function length expected exactly 1 argument(s)
CLIPS> (length "x" 3)                     ; 10.3.6
[ARGACCES4] Function length expected exactly 1 argument(s)
CLIPS> (length [def])                     ; 10.3.6
[ARGACCES5] Function length expected argument #1 to be of type multifield, symbol, or string
CLIPS> (length 4.3)                       ; 10.3.6
[ARGACCES5] Function length expected argument #1 to be of type multifield, symbol, or string
CLIPS> (length 567)                       ; 10.3.6
[ARGACCES5] Function length expected argument #1 to be of type multifield, symbol, or string
CLIPS> (length blah-blah-blah)            ; 10.3.6
14
CLIPS> (length "")                        ; 10.3.6
0
CLIPS> (length "Hello world")             ; 10.3.6
11
CLIPS> (length (create$))                 ; 10.3.6
0
CLIPS> (length (create$ a b c))           ; 10.3.6
3
CLIPS> (length (create$ a b c d e f g)) ; 10.3.6
7
CLIPS> (length "cat")                     ; 10.3.6
3
CLIPS> (explode$)                      ; 10.3.7
[ARGACCES4] Function explode$ expected exactly 1 argument(s)
CLIPS> (explode$ "x" 3)                ; 10.3.7
[ARGACCES4] Function explode$ expected exactly 1 argument(s)
CLIPS> (explode$ [jocko])              ; 10.3.7
[ARGACCES5] Function explode$ expected argument #1 to be of type string
CLIPS> (explode$ 134.78)               ; 10.3.7
[ARGACCES5] Function explode$ expected argument #1 to be of type string
CLIPS> (explode$ -8939)                ; 10.3.7
[ARGACCES5] Function explode$ expected argument #1 to be of type string
CLIPS> (explode$ yak-yak)              ; 10.3.7
[ARGACCES5] Function explode$ expected argument #1 to be of type string
CLIPS> (explode$ "")                   ; 10.3.7
()
CLIPS> (explode$ "Hello world")        ; 10.3.7
(Hello world)
CLIPS> (explode$ "-3.45 89 [xyx] thishere \"a string\"")
(-3.45 89 [xyx] thishere "a string")
CLIPS> (explode$ "hammer drill saw screw")
(hammer drill saw screw)
CLIPS> (explode$ "1 2 abc 3 4 \"abc\" \"def\"")
(1 2 abc 3 4 "abc" "def")
CLIPS> (explode$ "?x ~ )")             ; 10.3.7
("?x" "~" ")")
CLIPS> (implode$)                      ; 10.3.8
[ARGACCES4] Function implode$ expected exactly 1 argument(s)
CLIPS> (implode$ (create$ a b) dkj)    ; 10.3.8
[ARGACCES4] Function implode$ expected exactly 1 argument(s)
CLIPS> (implode$ [outstanding])        ; 10.3.8
[ARGACCES5] Function implode$ expected argument #1 to be of type multifield
CLIPS> (implode$ 3499.3)               ; 10.3.8
[ARGACCES5] Function implode$ expected argument #1 to be of type multifield
CLIPS> (implode$ 203033)               ; 10.3.8
[ARGACCES5] Function implode$ expected argument #1 to be of type multifield
CLIPS> (implode$ moresymbols)          ; 10.3.8
[ARGACCES5] Function implode$ expected argument #1 to be of type multifield
CLIPS> (implode$ "Another string")     ; 10.3.8
[ARGACCES5] Function implode$ expected argument #1 to be of type multifield
CLIPS> (implode$ (create$))            ; 10.3.8
""
CLIPS> (implode$ (create$ axydk "here it is" -348e3 893 [instance]))
"axydk "here it is" -348000.0 893 [instance]"
CLIPS> (implode$ (create$ hammer drill screwdriver))
"hammer drill screwdriver"
CLIPS> (implode$ (create$ 1 "abc" def "ghi" 2))
"1 "abc" def "ghi" 2"
CLIPS> (implode$ (explode$ "abc      def     ghi"))
"abc def ghi"
CLIPS> (subseq$)                        ; 10.3.9
[ARGACCES4] Function subseq$ expected exactly 3 argument(s)
CLIPS> (subseq$ 1)                      ; 10.3.9
[ARGACCES4] Function subseq$ expected exactly 3 argument(s)
CLIPS> (subseq$ 1 3)                    ; 10.3.9
[ARGACCES4] Function subseq$ expected exactly 3 argument(s)
CLIPS> (subseq$ (create$ a c d) 1 2 3)  ; 10.3.9
[ARGACCES4] Function subseq$ expected exactly 3 argument(s)
CLIPS> (subseq$ (create$ a b c) a 2)    ; 10.3.9
[ARGACCES5] Function subseq$ expected argument #2 to be of type integer
CLIPS> (subseq$ (create$ d e) 2 a)      ; 10.3.9