drtest06.exp

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

TRUE
CLIPS> (batch "drtest06.bat")
TRUE
CLIPS> (clear)                            ; DR0501
CLIPS> (defmessage-handler USER foo ())   ; DR0501
CLIPS> (clear)                            ; DR0501
CLIPS> (list-defmessage-handlers)         ; DR0501 - None
init primary in class USER
delete primary in class USER
print primary in class USER
direct-modify primary in class USER
message-modify primary in class USER
direct-duplicate primary in class USER
message-duplicate primary in class USER
For a total of 7 message-handlers.
CLIPS> (defclass a (is-a USER))           ; DR0501
CLIPS> (defmessage-handler a foo ())      ; DR0501
CLIPS> (defclass a (is-a USER))           ; DR0501
CLIPS> (list-defmessage-handlers a)       ; DR0501 - Update 1/1/93
CLIPS> (conserve-mem off)                 ; DR0501
CLIPS> (defmessage-handler USER foo ())   ; DR0501
CLIPS> (conserve-mem on)                  ; DR0501
CLIPS> (defmessage-handler USER foo ())   ; DR0501
CLIPS> (clear)                            ; DR0501
CLIPS> (release-mem)                      ; DR0501
2330 ;; Different number is OK
CLIPS> (conserve-mem off)                 ; DR0501
CLIPS> (clear)                            ; DR0502
CLIPS> (defclass a (is-a USER))           ; DR0502
CLIPS> (defmessage-handler a get-bar ())  ; DR0502
CLIPS> (defclass a (is-a USER) (slot bar)) ;; Update 1/1/93
CLIPS> (list-defmessage-handlers a)       ; DR0502 - None
CLIPS> (clear)                            ; DR0503
CLIPS> (defglobal ?*global-list* = (mv-append 1 2 3 4))
CLIPS> (defrule foo                       ; DR0503
   (items $?list)
   (test (subset ?list ?*global-list*))
   =>
   (printout t "Success!" crlf))
CLIPS> (assert (items 2 3))               ; DR0503
<Fact-0>
CLIPS> (run)                              ; DR0503 - Success!
Success!
CLIPS> (clear)                            ; DR0504
CLIPS> (defrule blah =>)                  ; DR0504
CLIPS> (deffacts a (x y) (z q))           ; DR0504
CLIPS> (deftemplate foob (field x))       ; DR0504
CLIPS> (defglobal ?*x* = 6)               ; DR0504
CLIPS> (deffunction quox (?x) (* ?x 3))   ; DR0504
CLIPS> (defclass hip (is-a USER))         ; DR0504
CLIPS> (bsave "drtest06.bin")             ; DR0504
[CSTRNBIN1] WARNING: Constraints are not saved with a binary image
  when dynamic constraint checking is disabled.
TRUE
CLIPS> (bload "drtest06.bin")             ; DR0504
TRUE
CLIPS> (bload "drtest06.bin")             ; DR0504
TRUE
CLIPS> (clear)                            ; DR0504
CLIPS> (clear)                            ; DR0506
CLIPS> (retract *)                        ; DR0506
CLIPS> (clear)                            ; DR0508
CLIPS> (deffacts list-fact                ; DR0508
   (list 12 "=" 3.0 i2))
CLIPS> (defrule test-member               ; DR0508
   (list $?list)
   =>
   (printout t "position=" (member i2 ?list) crlf))
CLIPS> (reset)                            ; DR0508
CLIPS> (run)                              ; DR0508 - position=4
position=4
CLIPS> (clear)                            ; DR0511
CLIPS> (deftemplate calculate             ; DR0511
   (field operation
      (type SYMBOL) (default ?NONE)))
CLIPS> (assert (calculate (operation +))) ; DR0511
<Fact-0>
CLIPS> (modify 1 
   (calculate (operation op2)))    ; DR0511 - Error

[EXPRNPSR3] Missing function declaration for operation.
CLIPS> (duplicate 1 
   (calculate (operation word)))   ; DR0511 - Error

[EXPRNPSR3] Missing function declaration for operation.
CLIPS> (clear)                            ; DR0512
CLIPS> (deftemplate calculate             ; DR0512
   (field operation
      (type SYMBOL) (default ?NONE)))
CLIPS> (assert (calculate 
        (operation 4<56)))         ; DR0512 - Error

[TMPLTDEF2] The single field slot operation can only contain a single field value.
CLIPS> (assert (calculate (operation go)))
<Fact-0>
CLIPS> (modify 0 (operation 467<789)))    ; DR0512 - Error

[TMPLTFUN2] Attempted to assert a multifield value 
into the single field slot operation of deftemplate calculate.
FALSE
CLIPS> (duplicate 0 (operation 54<2345))) ; DR0512 - Error

[TMPLTFUN2] Attempted to assert a multifield value 
into the single field slot operation of deftemplate calculate.
FALSE
CLIPS> (clear)                            ; DR0517
CLIPS> (deftemplate r                     ; DR0517
   (field mine) (field yours))     ; DR0517
CLIPS> (watch facts)                      ; DR0517
CLIPS> (assert (r (mine "string")))       ; DR0517
==> f-0     (r (mine "string") (yours nil))
<Fact-0>
CLIPS> (assert (r (yours this-is-a-word)))
==> f-1     (r (mine nil) (yours this-is-a-word))
<Fact-1>
CLIPS> (modify 0 (mine "string"))         ; DR0517
<== f-0     (r (mine "string") (yours nil))
==> f-2     (r (mine "string") (yours nil))
<Fact-2>
CLIPS> (modify 1 (yours wordie))          ; DR0517
<== f-1     (r (mine nil) (yours this-is-a-word))
==> f-3     (r (mine nil) (yours wordie))
<Fact-3>
CLIPS> (modify 3 (yours is-mine))         ; DR0517
<== f-3     (r (mine nil) (yours wordie))
==> f-4     (r (mine nil) (yours is-mine))
<Fact-4>
CLIPS> (unwatch facts)                    ; DR0517
CLIPS> (clear)                            ; DR0519
CLIPS> (deftemplate result                ; DR0519
   (field x
      (type NUMBER)
      (allowed-floats 5.0  6.0  7.0  8.8  9.0  8.0)
      (allowed-integers  1 2 3 4)
      (default ?NONE)))
CLIPS> (assert (result (x 6)))            ; DR0519

[CSTRNCHK1] A literal slot value found in the assert command
does not match the allowed values for slot x.
CLIPS> (clear)                            ; DR0520
CLIPS> (assert (a) (b) (c))               ; DR0520
<Fact-2>
CLIPS> (facts)                            ; DR0520
f-0     (a)
f-1     (b)
f-2     (c)
For a total of 3 facts.
CLIPS> (facts 0 2 2)                      ; DR0520
f-0     (a)
f-1     (b)
For a total of 2 facts.
CLIPS> (facts 2)                          ; DR0520
f-2     (c)
For a total of 1 fact.
CLIPS> (not FALSE)                        ; DR0521 - TRUE
TRUE
CLIPS> (not "FALSE")                      ; DR0521 - FALSE
FALSE
CLIPS> (clear)                            ; DR0522
CLIPS> (deftemplate foo (field x))        ; DR0522
CLIPS> (assert (foo (x (1 2))))           ; DR0522 - Error

[EXPRNPSR1] A function name must be a symbol
CLIPS> (facts)                            ; DR0522 - None
CLIPS> (print-region 1 1)                 ; DR0524 - Error
[ARGACCES5] Function print-region expected argument #1 to be of type symbol
CLIPS> (print-region 3 "foo.lis" ROOT SUBTOPIC)    
[ARGACCES5] Function print-region expected argument #1 to be of type symbol
CLIPS> (print-region t 3 ROOT SUBTOPIC)   ; DR0524 - Error
[ARGACCES5] Function print-region expected argument #2 to be of type symbol or string
CLIPS> (deffunction mftest ()             ; DR0525
   (bind ?result (mv-append))
   (bind ?i 140)
   (while (> ?i 0) do
      (bind ?result (mv-append ?i ?result))
      (bind ?i (- ?i 1)))
   ?result)
CLIPS> (mftest)                           ; DR0525
(1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140)
CLIPS> (clear)                            ; DR0526
CLIPS> (defrule dr0384                    ; DR0526
   =>
   (bind ?a (** 2 (- -11 (numberp 3))))
   (if (and (< ?a 0.000245)  (>=  ?a 0.000244))
       then (assert (DR0384 OK))))
[ARGACCES5] Function - expected argument #2 to be of type integer or float

ERROR:
(defrule MAIN::dr0384
   =>
   (bind ?a (** 2 (- -11 (numberp 3))
CLIPS> (seed (5))                         ; DR0527

[EXPRNPSR1] A function name must be a symbol
CLIPS> (sym-cat (str-explode "a s d g e f")) ; DR0528 - Error
[ARGACCES5] Function sym-cat expected argument #1 to be of type string, instance name, symbol, float, or integer
nil
CLIPS> (str-length                        ; DR0529 - Error
   (str-implode ((mv-append 1 2 3 4)
						           (mv-append 4 3 2 1))))

[EXPRNPSR1] A function name must be a symbol
CLIPS> (deg-grad 90)                      ; DR0532 - 100.0
100.0
CLIPS> (* 3.6 15.0)                       ; DR0533 - 54.0
54.0
CLIPS> (* 3.0 15.0)                       ; DR0533 - 45.0
45.0
CLIPS> 898~898                            ; DR0536 - 898
898
CLIPS> (format nil "%ld" 12)              ; DR0539 - "12"
"12"
CLIPS> (format nil "|%ld|" 12)            ; DR0539 - "|12|"
"|12|"
CLIPS> (clear)                            ; DR0540
CLIPS> (defglobal ?*x* = ?*r*)            ; DR0540 - Error
[GLOBLDEF1] Global variable ?*r* is unbound.

ERROR:
(defglobal MAIN ?*x* = ?*r*
CLIPS> (defglobal ?*w* = 4)               ; DR0540 - OK
CLIPS> (clear)                            ; DR0541
CLIPS> (defclass a (is-a OBJECT))         ; DR0541
CLIPS> (defclass b (is-a OBJECT))         ; DR0541
CLIPS> (defclass c (is-a a))              ; DR0541
CLIPS> (defclass d (is-a b))              ; DR0541
CLIPS> (defclass e (is-a c d))            ; DR0541
CLIPS> (defclass f (is-a e b a))          ; DR0541
CLIPS> (describe-class e)                 ; DR0541 - e c a d b OBJECT
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: c d
Inheritance Precedence: e c a d b OBJECT
Direct Subclasses: f
********************************************************************************
================================================================================
CLIPS> (describe-class f)                 ; DR0541 - f e c d b a OBJECT
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: e b a
Inheritance Precedence: f e c d b a OBJECT
Direct Subclasses:
********************************************************************************
================================================================================
CLIPS> (clear)                            ; DR0542
CLIPS> (defclass a (is-a USER)            ; DR0542
   (slot x (default (+ 3 (eval "(gensym)")))))
[ARGACCES5] Function + expected argument #2 to be of type integer or float

ERROR:
(defclass MAIN::a
   (is-a USER)
   (slot x
      (default (+ 3 (eval "(gensym)"))))
CLIPS> (clear)                            ; DR0543
CLIPS> (deffunction blah () (if a b))     ; DR0543 - Error

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for if function.

ERROR:
(deffunction MAIN::blah
   ()
   (if a
      b
CLIPS> (blah)                             ; DR0543 - Undefined

[EXPRNPSR3] Missing function declaration for blah.