drtest07.exp

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

TRUE
CLIPS> (batch "drtest07.bat")
TRUE
CLIPS> (clear)                            ; DR0602
CLIPS> (subset (mv-append bar)            ; DR0602
        (mv-append "bar"))         ; DR0602 - FALSE
FALSE
CLIPS> (member fox (mv-append "fox"))     ; DR0602 - FALSE
FALSE
CLIPS> (clear)                            ; DR0604
CLIPS> (defrule foo => (assert (x)))      ; DR0604
CLIPS> (bsave "foo.bin")                  ; DR0604
TRUE
CLIPS> (clear)                            ; DR0604
CLIPS> (defrule bar => (assert (y)))      ; DR0604
CLIPS> (bsave "bar.bin")                  ; DR0604
TRUE
CLIPS> (clear)                            ; DR0604
CLIPS> (bload "foo.bin")                  ; DR0604
TRUE
CLIPS> (reset)                            ; DR0604
CLIPS> (run)                              ; DR0604
CLIPS> (facts)                            ; DR0604
f-0     (initial-fact)
f-1     (x)
For a total of 2 facts.
CLIPS> (bload "bar.bin")                  ; DR0604
TRUE
CLIPS> (reset)                            ; DR0604
CLIPS> (run)                              ; DR0604
CLIPS> (facts)                            ; DR0604
f-0     (initial-fact)
f-1     (y)
For a total of 2 facts.
CLIPS> (clear)                            ; DR0606
CLIPS> (defrule blah                      ; DR0606
   =>                              ; DR0606
  (bsave me.bin)                   ; DR0606
  (bload me.bin))                  ; DR0606
CLIPS> (reset)                            ; DR0606
CLIPS> (run)                              ; DR0606
The CLIPS environment could not be cleared.
Binary load cannot continue.
CLIPS> (tan (deg-rad 270))                ; DR0609 - Error
[EMATHFUN3] Singularity at asymptote in tan function.
0.0
CLIPS> (sec (deg-rad 270))                ; DR0609 - Error
[EMATHFUN3] Singularity at asymptote in sec function.
0.0
CLIPS> (clear)                            ; DR0610
CLIPS> (release-mem)                      ; DR0610
3587 ;; Different number is OK
CLIPS> (deffunction foo ($?x) ?x ?x FALSE)
CLIPS> (foo a b c d e)                    ; DR0610
FALSE
CLIPS> (clear)                            ; DR0610
CLIPS> (release-mem)                      ; DR0610 - Memory Loss
1428 ;; Different number is OK
CLIPS> (clear)                            ; DR0612
CLIPS> (release-mem)                      ; DR0612
937 ;; Different number is OK - Reference number
CLIPS> (defrule x (not (a)) =>)           ; DR0612
CLIPS> (clear)                            ; DR0612
CLIPS> (release-mem)                      ; DR0612 - Memory Loss
2105 ;; Different number is OK
CLIPS> (clear)                            ; DR0613
CLIPS> (release-mem)                      ; DR0613
937 ;; Different number is OK but should be same as reference number
CLIPS> (defrule x (not (a)) (not (b))  =>) 
CLIPS> (clear)                            ; DR0613
CLIPS> (release-mem)                      ; DR0613 - Memory Loss
2620 ;; Different number is OK
CLIPS> (clear)                            ; DR0614
CLIPS> (release-mem)                      ; DR0614
937 ;; Different number is OK but should be same as reference number
CLIPS> (defglobal ?*x* = 3)               ; DR0614
CLIPS> (defglobal ?*x* = 4)               ; DR0614
CLIPS> (clear)                            ; DR0614
CLIPS> (release-mem)                      ; DR0614 - Memory Loss
1094 ;; Different number is OK
CLIPS> (clear)                            ; DR0615
CLIPS> (release-mem)                      ; DR0615
937 ;; Different number is OK but should be same as reference number
CLIPS> (deftemplate x (multifield y) (multifield y))

[PRNTUTIL5] The slot y has already been parsed.

ERROR:
(deftemplate MAIN::x
   (multifield y)
   (multifield y
CLIPS> (clear)                            ; DR0615
CLIPS> (release-mem)                      ; DR0615 - Memory Loss
1025 ;; Different number is OK
CLIPS> (clear)                            ; DR0616
CLIPS> (release-mem)                      ; DR0616
937 ;; Different number is OK but should be same as reference number
CLIPS> (any-instancep ((?a OBJECT) (?a OBJECT)) TRUE)
[INSQYPSR1] Duplicate instance member variable name in function any-instancep.
CLIPS> (clear)                            ; DR0616
CLIPS> (release-mem)                      ; DR0616 - Memory Loss
973 ;; Different number is OK
CLIPS> (clear)                            ; DR0617
CLIPS> (release-mem)                      ; DR0617
937 ;; Different number is OK but should be same as reference number
CLIPS> (bind ?a 3)                        ; DR0617
3
CLIPS> (clear)                            ; DR0617
CLIPS> (release-mem)                      ; DR0617 - Memory Loss
1103 ;; Different number is OK
CLIPS> (clear)                            ; DR0619
CLIPS> (str-explode "")                   ; DR0619
()
CLIPS> (deftemplate foo (field x) (field y))
CLIPS> (str-explode "foo")                ; DR0619
(foo)
CLIPS> (format t "%s"                     ; DR0621
   "The allowed-values attribute cannot be used in conjunction with
                      other value restriction attributes")
The allowed-values attribute cannot be used in conjunction with
                      other value restriction attributes"The allowed-values attribute cannot be used in conjunction with
                      other value restriction attributes"
CLIPS> (clear)                            ; DR0623
CLIPS> (defclass A (is-a USER)            ; DR0623
   (multislot foo (create-accessor read-write)))
CLIPS> (defclass B (is-a A)               ; DR0623
   (slot foo (propagation no-inherit) (storage shared) (create-accessor read-write)))
CLIPS> (defclass C (is-a B)               ; DR0623
   (slot foo (source composite) (access read-only) (create-accessor read)))
CLIPS> (describe-class C)                 ; DR0623
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: B
Inheritance Precedence: C B A USER OBJECT
Direct Subclasses:
--------------------------------------------------------------------------------
SLOTS : FLD DEF PRP ACC STO MCH SRC VIS CRT OVRD-MSG SOURCE(S)
foo   : MLT STC INH  R  SHR RCT CMP PRV  R  NIL      A C

Constraint information for slots:

SLOTS : SYM STR INN INA EXA FTA INT FLT
foo   :  +   +   +   +   +   +   +   +  RNG:[-oo..+oo] CRD:[0..+oo]
--------------------------------------------------------------------------------
Recognized message-handlers:
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
get-foo primary in class A
put-foo primary in class A
get-foo primary in class B
put-foo primary in class B
get-foo primary in class C
********************************************************************************
================================================================================
CLIPS> (clear)                            ; DR0625
CLIPS> (release-mem)                      ; DR0625
3980 ;; Different number is OK
CLIPS> (deftemplate a (field one))        ; DR0625 
CLIPS> (defrule a                         ; DR0625
   ?f1 <- (a (one two three))
   =>)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for deftemplate patterns.

ERROR:
(defrule MAIN::a
   ?f1 <- (a (one two three
CLIPS> (clear)                            ; DR0625
CLIPS> (release-mem)                      ; DR0625 - Memory Loss
1649 ;; Different number is OK
CLIPS> (clear)                            ; DR0626
CLIPS> (deffacts one                      ; DR0626
   (first =(assert let's see)))    ; DR0626 - Bad PPForm

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for RHS patterns.

ERROR:
(deffacts MAIN::one
   (first =(assert let's
CLIPS> (clear)                            ; DR0627
CLIPS> (deftemplate a (field one))        ; DR0627
CLIPS> (defrule a                         ; DR0627
   ?f1 <- (a (one two three))      ; DR0627
   =>                              ; DR0627
   (assert (not good)))            ; DR0627

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for deftemplate patterns.

ERROR:
(defrule MAIN::a
   ?f1 <- (a (one two three
CLIPS> (clear)                            ; DR0628
CLIPS> (defmethod foo (?a))               ; DR0628
CLIPS> (defmethod foo ((?a NUMBER)))      ; DR0628
CLIPS> (defmethod foo ((?a INTEGER FLOAT))) 
CLIPS> (list-defmethods)                  ; DR0628 - Check Precedence
foo #3  (INTEGER FLOAT)
foo #2  (NUMBER)
foo #1  ()
For a total of 3 methods.
CLIPS> (clear)                            ; DR0629
CLIPS> (defclass A (is-a USER)            ; DR0629
   (role concrete)
   (multislot foo (default a) (create-accessor read-write)))
CLIPS> (deffunction foo (?ins)            ; DR0629
   (bind ?a (send ?ins get-foo))
   (printout t ?a " ")
   (printout t (send ?ins get-foo) " ")
   (mv-slot-replace ?ins foo 1 1 1)
   (printout t ?a " ")
   (printout t (send ?ins get-foo) crlf))
CLIPS> (make-instance a of A)             ; DR0629
[a]
CLIPS> (foo [a])                          ; DR0629 - (a) (a) (a) (1)
(a) (a) (a) (1)
CLIPS> (clear)                            ; DR0630
CLIPS> (defrule blah                      ; DR0630
   ?f <- (initial-fact)
   (test (progn (retract ?f) TRUE))
   =>)
CLIPS> (reset)                            ; DR0630

[FACTMNGR1] Facts may not be retracted during pattern-matching
CLIPS> (facts)                            ; DR0630
f-0     (initial-fact)
For a total of 1 fact.
CLIPS> (agenda)                           ; DR0630
0      blah: f-0
For a total of 1 activation.
CLIPS> (clear)                            ; DR0633
CLIPS> (set-incremental-reset FALSE)      ; DR0633
TRUE
CLIPS> (defrule not-fire (not (color)) =>)
CLIPS> (agenda)                           ; DR0633
CLIPS> (assert (color))                   ; DR0633
<Fact-0>
CLIPS> (agenda)                           ; DR0633
CLIPS> (clear)                            ; DR0633
CLIPS> (set-incremental-reset TRUE)       ; DR0633
FALSE
CLIPS> (clear)                            ; DR0634
CLIPS> (deffunction foo ()                ; DR0634
   (bind ?i 1000)                  ; DR0634
   (while (> ?i 0) do              ; DR0634
      (bind ?a (mv-append))        ; DR0634
      (bind ?i (- ?i 1))))         ; DR0634
CLIPS> (foo)                              ; DR0634
FALSE
CLIPS> (clear)                            ; DR0635
CLIPS> (format nil "1%N2%3$Q%d3%W" 5)     ; DR0635
"1N23$Q53W"
CLIPS> (clear)                            ; DR0636
CLIPS> (defrule blah (fact $?x here $?x) =>)
CLIPS> (assert (fact 1 2 here 3 4))       ; DR0636
<Fact-0>
CLIPS> (agenda)                           ; DR0636
CLIPS> (subsetp (mv-append a a b) (mv-append a b)) ; DR0637
TRUE
CLIPS> (clear)                            ; DR0639
CLIPS> (defrule foo (or (a) (b) (c)) =>)  ; DR0639
CLIPS> (assert (a) (b) (c))               ; DR0639
<Fact-2>
CLIPS> (agenda)                           ; DR0639
0      foo: f-2
0      foo: f-1
0      foo: f-0
For a total of 3 activations.
CLIPS> (run)                              ; DR0639
CLIPS> (refresh foo)                      ; DR0639
CLIPS> (agenda)                           ; DR0639
0      foo: f-2
0      foo: f-1
0      foo: f-0
For a total of 3 activations.
CLIPS> (clear)                            ; DR0640
CLIPS> (defclass A (is-a USER) (role concrete)); DR0640
CLIPS> (make-instance a of A)             ; DR0640
[a]
CLIPS> (defglobal ?*x* = (instance-address a))
CLIPS> (initialize-instance a)            ; DR0640
[a]
CLIPS> (clear)                            ; DR0642
CLIPS> (deffunction foo ()
   (do-for-all-instances ((?a USER)) TRUE (send ?a print))
   (printout t "Finished." crlf))
CLIPS> (ppdeffunction foo)                ; DR0642
(deffunction MAIN::foo
   ()