drtest06.exp

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

CLIPS> (clear)                            ; DR0548
CLIPS> (set-incremental-reset FALSE)      ; DR0548
TRUE
CLIPS> (defrule foo (not (a)) =>)         ; DR0548
CLIPS> (reset)                            ; DR0548
CLIPS> (agenda)                           ; DR0548 - 1 Activation
0      foo: f-0,
For a total of 1 activation.
CLIPS> (clear)                            ; DR0548
CLIPS> (set-incremental-reset TRUE)       ; DR0548
FALSE
CLIPS> (clear)                            ; DR0549
CLIPS> (defclass A (is-a USER) (role concrete) (slot xy (create-accessor read-write)))
CLIPS> (make-instance a of A 
   ((sym-cat x y) 34))             ; DR0549
[a]
CLIPS> (send [a] print)                   ; DR0549
[a] of A
(xy 34)
CLIPS> (clear)                            ; DR0551
CLIPS> (set-strategy breadth)             ; DR0551
depth
CLIPS> (defrule blah (declare (salience 10)) =>)
CLIPS> (defrule flub (declare (salience -10)) =>)
CLIPS> (reset)                            ; DR0551
CLIPS> (agenda)                           ; DR0551 - blah, flub
10     blah: f-0
-10    flub: f-0
For a total of 2 activations.
CLIPS> (set-strategy depth)               ; DR0551
breadth
CLIPS> (clear)                            ; DR0552
CLIPS> (defclass A (is-a USER) (role concrete)); DR0552
CLIPS> (defclass B (is-a USER) (role concrete)); DR0552
CLIPS> (make-instance a1 of A)            ; DR0552 - [a1]
[a1]
CLIPS> (make-instance a2 of A)            ; DR0552 - [a2]
[a2]
CLIPS> (make-instance b1 of B)            ; DR0552 - [b1]
[b1]
CLIPS> (make-instance b2 of B)            ; DR0552 - [b2]
[b2]
CLIPS> (do-for-all-instances ((?a A)) TRUE
   (do-for-all-instances ((?b B)) TRUE
     (printout t (instance-name ?a) " " 
                 (instance-name ?b) crlf))) ; [a1][b1], [a1][b2], [a2][b1], [a2][b2]
[a1] [b1]
[a1] [b2]
[a2] [b1]
[a2] [b2]
CLIPS> (format nil "%d1234567890123456789012345678901234567890" 333) ; DR0559
"3331234567890123456789012345678901234567890"
CLIPS> (clear)                            ; DR0561
CLIPS> (deftemplate foo                   ; DR0561
   (field x (type EXTERNAL-ADDRESS)))
CLIPS> (assert (foo))                     ; DR0561
<Fact-0>
CLIPS> (facts)                            ; DR0561
f-0     (foo (x <Pointer-0>)) ;; Any NULL pointer is OK
For a total of 1 fact.
CLIPS> (clear)                            ; DR0562
CLIPS> (deffunction foo ()                ; DR0562
   (+ ?a 1) (bind ?a 2))           ; DR0562
CLIPS> (foo)                              ; DR0562 - Error
[PRCCODE5] Variable a unbound in deffunction foo.
[ARGACCES5] Function + expected argument #1 to be of type integer or float
[PRCCODE4] Execution halted during the actions of deffunction foo.
FALSE
CLIPS> (clear)                            ; DR0566
CLIPS> (bind ?a 3)                        ; DR0566 - 3
3
CLIPS> (bind ?b 4)                        ; DR0566 - 4
4
CLIPS> (+ ?a 3)                           ; DR0566 - Error
[EVALUATN1] Variable a is unbound
[ARGACCES5] Function + expected argument #1 to be of type integer or float
0
CLIPS> (+ ?a ?b)                          ; DR0566 - Error
[EVALUATN1] Variable a is unbound
[ARGACCES5] Function + expected argument #1 to be of type integer or float
0
CLIPS> (+ ?e 4)                           ; DR0566 - Error
[EVALUATN1] Variable e is unbound
[ARGACCES5] Function + expected argument #1 to be of type integer or float
0
CLIPS> (clear)                            ; DR0567
CLIPS> (deffunction foo (?a ?a))          ; DR0567 - Error
[PRCCODE7] Duplicate parameter names not allowed.

ERROR:
(deffunction MAIN::foo
   (?a ?a
CLIPS> (format t "%s (Yes or No)" "Play Again?") ; DR0568
Play Again? (Yes or No)"Play Again? (Yes or No)"
CLIPS> (clear)                            ; DR0569
CLIPS> (defclass A (is-a USER)            ; DR0569
   (role concrete)
   (slot unassigned-parcels)
   (slot x-location (create-accessor read-write)))
CLIPS> (make-instance a of A)             ; DR0569 - [a]
[a]
CLIPS> (send [a] put-x-location 34)       ; DR0569 - TRUE
34
CLIPS> (clear)                            ; DR0570
CLIPS> (deffunction defgeneric ())        ; DR0570 - Error
[DFFNXPSR1] Deffunctions are not allowed to replace constructs.

ERROR:
(deffunction MAIN::defgeneric
   (
CLIPS> (deffunction defclass ())          ; DR0570 - Error
[DFFNXPSR1] Deffunctions are not allowed to replace constructs.

ERROR:
(deffunction MAIN::defclass
   (
CLIPS> (deffunction deftemplate ())       ; DR0570 - Error
[DFFNXPSR1] Deffunctions are not allowed to replace constructs.

ERROR:
(deffunction MAIN::deftemplate
   (
CLIPS> (deffunction defmethod ())         ; DR0570 - Error
[DFFNXPSR1] Deffunctions are not allowed to replace constructs.

ERROR:
(deffunction MAIN::defmethod
   (
CLIPS> (deffunction deffacts ())          ; DR0570 - Error
[DFFNXPSR1] Deffunctions are not allowed to replace constructs.

ERROR:
(deffunction MAIN::deffacts
   (
CLIPS> (list-deffunctions)                ; DR0570 - None
CLIPS> (clear)                            ; DR0571
CLIPS> (defglobal ?*x* = 3)               ; DR0571
CLIPS> (assert (a))                       ; DR0571
<Fact-0>
CLIPS> (defrule foo ?f <- (a) => (bind ?*x* ?f))
CLIPS> (run)                              ; DR0571
CLIPS> (printout t ?*x* crlf)             ; DR0571
<Fact-0>
CLIPS> ?*x*                               ; DR0571
<Fact-0>
CLIPS> (clear)                            ; DR0573
CLIPS> (defclass A (is-a USER))           ; DR0573
CLIPS> (defclass B (is-a USER))           ; DR0573
CLIPS> (defclass C (is-a A B) (role concrete)) ; DR0573
CLIPS> (make-instance c of C)             ; DR0573 - [c]
[c]
CLIPS> (instances)                        ; DR0573 - 1 instance
[c] of C
For a total of 1 instance.
CLIPS> (instances MAIN B inherit)              ; DR0573 - 1 instance
[c] of C
For a total of 1 instance.
CLIPS> (do-for-all-instances ((?u USER)) TRUE
    (printout t ?u crlf))          ; DR0573 - 1 instance
[c]
CLIPS> (clear)                            ; DR0575
CLIPS> (defrule try-or (or (a) (b)) =>)   ; DR0575
CLIPS> (bsave "drtest06.bin")             ; DR0575
TRUE
CLIPS> (clear)                            ; DR0575
CLIPS> (bload "drtest06.bin")             ; DR0575
TRUE
CLIPS> (clear)                            ; DR0575
CLIPS> (clear)                            ; DR0576
CLIPS> (deffunction bar () (eval "(+ 5 6)"))
CLIPS> (deffunction foo () (eval "(+ 3 4 (bar))"))
CLIPS> (foo)                              ; DR0576 - 18
18
CLIPS> (bar)                              ; DR0576 - 11
11
CLIPS> (clear)                            ; DR0577
CLIPS> (defclass A (is-a USER) (slot foo (create-accessor read-write)))
CLIPS> (defclass B (is-a A))              ; DR0577
CLIPS> (defmessage-handler A put-foo ())  ; DR0577 - Error
[MSGPSR3] System message-handlers may not be modified.

ERROR:
(defmessage-handler MAIN::A put-foo
   (
CLIPS> (defmessage-handler B get-foo ())  ; DR0577 - OK
CLIPS> (defmessage-handler B put-foo ())  ; DR0577 - OK
CLIPS> (clear)                            ; DR0584 - Behavior changed
CLIPS> (defclass A (is-a USER)            ; DR0584
   (role concrete)
   (slot foo (access read-only) (default 5)))
CLIPS> (defmessage-handler A put-foo primary (?value)
  (dynamic-put foo ?value))
CLIPS> (make-instance a of A)             ; DR0584 - [a]
[a]
CLIPS> (instances)                        ; DR0584
[a] of A
For a total of 1 instance.
CLIPS> (save-instances "drtest06.tmp")    ; DR0584
1
CLIPS> (unmake-instance a)                ; DR0584
TRUE
CLIPS> (load-instances "drtest06.tmp")    ; DR0584
[MSGFUN3] foo slot in [a] of A: write access denied.
[PRCCODE4] Execution halted during the actions of message-handler put-foo primary in class A
[INSFILE1] Function load-instances could not completely process file drtest06.tmp.
0
CLIPS> (instances)                        ; DR0584
CLIPS> (restore-instances "drtest06.tmp") ; See CRS
1
CLIPS> (instances)                        ; DR0584
[a] of A
For a total of 1 instance.
CLIPS> (clear)                            ; DR0588
CLIPS> (ppdefinstances Teams)             ; DR0588
[PRNTUTIL1] Unable to find definstances Teams.
CLIPS> (clear)                            ; DR0590
CLIPS> (undefinstances *)                 ; DR0590
CLIPS> (undefinstances Tom)               ; DR0590
[PRNTUTIL1] Unable to find definstances Tom.
CLIPS> (clear)                            ; DR0591
CLIPS> (defrule two                       ; DR0591
   =>
  (clear)
  (printout t "Rule Fired" crlf))
CLIPS> (reset)                            ; DR0591    
CLIPS> (run)                              ; DR0591
[CONSTRCT1] Some constructs are still in use. Clear cannot continue.
Rule Fired
CLIPS> (clear)                            ; DR0592
CLIPS> (deftemplate color                 ; DR0592
   (field standard
      (type SYMBOL)
      (default white)
      (allowed-symbols red white blue)))
CLIPS>  (defrule one                      ; DR0592 - Error
    ?f1 <- (color (standard ?))
    =>
    (modify ?f1 (standard none)))

[CSTRNCHK1] A literal slot value found in the modify command
does not match the allowed values for slot standard.

ERROR:
(defrule MAIN::one
   ?f1 <- (color (standard ?))
   =>
   (modify ?f1 (standard none)))
CLIPS> (release-mem)                      ; DR0592
18335 ;; Different number is OK
CLIPS> (clear)                            ; DR0594
CLIPS> (defrule junk => (bsave drtest06.bin))     
CLIPS> (reset)                            ; DR0594
CLIPS> (run)                              ; DR0594
CLIPS> (bload drtest06.bin)               ; DR0594
TRUE
CLIPS> (reset)                            ; DR0594
CLIPS> (run)                              ; DR0594
[BSAVE1] Cannot perform a binary save while a binary load is in effect.
CLIPS> (div 11.0 .5)                      ; DR0595
[PRNTUTIL7] Attempt to divide by zero in div function.
1
CLIPS> (clear)                            ; DR0600
CLIPS> (defmethod blah 1 ())              ; DR0600
CLIPS> (defmethod blah (?a))              ; DR0600
CLIPS> (list-defmethods)                  ; DR0600
blah #2  ()
blah #1  
For a total of 2 methods.
CLIPS> (dribble-off)