drtest07.bat

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

(clear)                            ; DR0602
(subset (mv-append bar)            ; DR0602
        (mv-append "bar"))         ; DR0602 - FALSE
(member fox (mv-append "fox"))     ; DR0602 - FALSE
(clear)                            ; DR0604
(defrule foo => (assert (x)))      ; DR0604
(bsave "foo.bin")                  ; DR0604
(clear)                            ; DR0604
(defrule bar => (assert (y)))      ; DR0604
(bsave "bar.bin")                  ; DR0604
(clear)                            ; DR0604
(bload "foo.bin")                  ; DR0604
(reset)                            ; DR0604
(run)                              ; DR0604
(facts)                            ; DR0604
(bload "bar.bin")                  ; DR0604
(reset)                            ; DR0604
(run)                              ; DR0604
(facts)                            ; DR0604
(clear)                            ; DR0606
(defrule blah                      ; DR0606
   =>                              ; DR0606
  (bsave me.bin)                   ; DR0606
  (bload me.bin))                  ; DR0606
(reset)                            ; DR0606
(run)                              ; DR0606
(tan (deg-rad 270))                ; DR0609 - Error
(sec (deg-rad 270))                ; DR0609 - Error
(clear)                            ; DR0610
(release-mem)                      ; DR0610
(deffunction foo ($?x) ?x ?x FALSE)
(foo a b c d e)                    ; DR0610
(clear)                            ; DR0610
(release-mem)                      ; DR0610 - Memory Loss
(clear)                            ; DR0612
(release-mem)                      ; DR0612
(defrule x (not (a)) =>)           ; DR0612
(clear)                            ; DR0612
(release-mem)                      ; DR0612 - Memory Loss
(clear)                            ; DR0613
(release-mem)                      ; DR0613
(defrule x (not (a)) (not (b))  =>) 
(clear)                            ; DR0613
(release-mem)                      ; DR0613 - Memory Loss
(clear)                            ; DR0614
(release-mem)                      ; DR0614
(defglobal ?*x* = 3)               ; DR0614
(defglobal ?*x* = 4)               ; DR0614
(clear)                            ; DR0614
(release-mem)                      ; DR0614 - Memory Loss
(clear)                            ; DR0615
(release-mem)                      ; DR0615
(deftemplate x (multifield y) (multifield y))
(clear)                            ; DR0615
(release-mem)                      ; DR0615 - Memory Loss
(clear)                            ; DR0616
(release-mem)                      ; DR0616
(any-instancep ((?a OBJECT) (?a OBJECT)) TRUE)
(clear)                            ; DR0616
(release-mem)                      ; DR0616 - Memory Loss
(clear)                            ; DR0617
(release-mem)                      ; DR0617
(bind ?a 3)                        ; DR0617
(clear)                            ; DR0617
(release-mem)                      ; DR0617 - Memory Loss
(clear)                            ; DR0619
(str-explode "")                   ; DR0619
(deftemplate foo (field x) (field y))
(str-explode "foo")                ; DR0619
(format t "%s"                     ; DR0621
   "The allowed-values attribute cannot be used in conjunction with
                      other value restriction attributes")
(clear)                            ; DR0623
(defclass A (is-a USER)            ; DR0623
   (multislot foo (create-accessor read-write)))
(defclass B (is-a A)               ; DR0623
   (slot foo (propagation no-inherit) (storage shared) (create-accessor read-write)))
(defclass C (is-a B)               ; DR0623
   (slot foo (source composite) (access read-only) (create-accessor read)))
(describe-class C)                 ; DR0623
(clear)                            ; DR0625
(release-mem)                      ; DR0625
(deftemplate a (field one))        ; DR0625 
(defrule a                         ; DR0625
   ?f1 <- (a (one two three))
   =>)
(clear)                            ; DR0625
(release-mem)                      ; DR0625 - Memory Loss
(clear)                            ; DR0626
(deffacts one                      ; DR0626
   (first =(assert let's see)))    ; DR0626 - Bad PPForm
(clear)                            ; DR0627
(deftemplate a (field one))        ; DR0627
(defrule a                         ; DR0627
   ?f1 <- (a (one two three))      ; DR0627
   =>                              ; DR0627
   (assert (not good)))            ; DR0627
(clear)                            ; DR0628
(defmethod foo (?a))               ; DR0628
(defmethod foo ((?a NUMBER)))      ; DR0628
(defmethod foo ((?a INTEGER FLOAT))) 
(list-defmethods)                  ; DR0628 - Check Precedence
(clear)                            ; DR0629
(defclass A (is-a USER)            ; DR0629
   (role concrete)
   (multislot foo (default a) (create-accessor read-write)))
(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))
(make-instance a of A)             ; DR0629
(foo [a])                          ; DR0629 - (a) (a) (a) (1)
(clear)                            ; DR0630
(defrule blah                      ; DR0630
   ?f <- (initial-fact)
   (test (progn (retract ?f) TRUE))
   =>)
(reset)                            ; DR0630
(facts)                            ; DR0630
(agenda)                           ; DR0630
(clear)                            ; DR0633
(set-incremental-reset FALSE)      ; DR0633
(defrule not-fire (not (color)) =>)
(agenda)                           ; DR0633
(assert (color))                   ; DR0633
(agenda)                           ; DR0633
(clear)                            ; DR0633
(set-incremental-reset TRUE)       ; DR0633
(clear)                            ; DR0634
(deffunction foo ()                ; DR0634
   (bind ?i 1000)                  ; DR0634
   (while (> ?i 0) do              ; DR0634
      (bind ?a (mv-append))        ; DR0634
      (bind ?i (- ?i 1))))         ; DR0634
(foo)                              ; DR0634
(clear)                            ; DR0635
(format nil "1%N2%3$Q%d3%W" 5)     ; DR0635
(clear)                            ; DR0636
(defrule blah (fact $?x here $?x) =>)
(assert (fact 1 2 here 3 4))       ; DR0636
(agenda)                           ; DR0636
(subsetp (mv-append a a b) (mv-append a b)) ; DR0637
(clear)                            ; DR0639
(defrule foo (or (a) (b) (c)) =>)  ; DR0639
(assert (a) (b) (c))               ; DR0639
(agenda)                           ; DR0639
(run)                              ; DR0639
(refresh foo)                      ; DR0639
(agenda)                           ; DR0639
(clear)                            ; DR0640
(defclass A (is-a USER) (role concrete)); DR0640
(make-instance a of A)             ; DR0640
(defglobal ?*x* = (instance-address a))
(initialize-instance a)            ; DR0640
(clear)                            ; DR0642
(deffunction foo ()
   (do-for-all-instances ((?a USER)) TRUE (send ?a print))
   (printout t "Finished." crlf))
(ppdeffunction foo)                ; DR0642
(clear)                            ; DR0644
(ppdeffunction bad)                ; DR0644
(clear)                            ; DR0645
(deffacts start (result # 0 1 0))
(defrule print-responses
   (result $?input # $?response)
   =>
   (while (neq ?response (create$)) do
      (nth 1 ?response)
      (bind ?response (create$))))
(reset)                            ; DR0645
(run)                              ; DR0645
(clear)                            ; DR0647
(defclass A (is-a USER) (slot x (create-accessor read-write)))  ; DR0647
(defclass B (is-a A))              ; DR0647
(describe-class B)                 ; DR0647
(constructs-to-c bug 1)            ; DR0647
(describe-class B)                 ; DR0647
(clear)                            ; DR0648
(bsave "none.bin")                 ; DR0648
(deffunction one ())               ; DR0648
(bsave "some.bin")                 ; DR0648
(bload "none.bin")                 ; DR0648
(clear)                            ; DR0649
(div a)                            ; DR0649
(div 1)                            ; DR0649
(asin 2)                           ; DR0649
(atanh 1.0)                        ; DR0649
(clear)                            ; DR0650
(deffacts foo)                     ; DR0650
(defrule foo =>)                   ; DR0650
(deftemplate foo)                  ; DR0650
(deffacts *)                       ; DR0650
(defrule * =>)                     ; DR0650
(deftemplate *)                    ; DR0650
(list-deffacts)                    ; DR0650
(list-defrules)                    ; DR0650
(list-deftemplates)                ; DR0650
(clear)                            ; DR0654
(fetch "XYZBEDQ.txt")              ; DR0654
(clear)                            ; DR0655
(defclass A (is-a USER) (slot x (create-accessor read-write)))  ; DR0655
(defclass B (is-a A) (slot y (create-accessor read-write)))     ; DR0655
(defmessage-handler B get-y ())    ; DR0655
(clear)                            ; DR0656
(defclass A (is-a USER) (role concrete) (multislot x (create-accessor read-write)))
(make-instance a of A (x (instance-address a) 34))
(save-instances ins.sav)           ; DR0656
(clear)                            ; DR0657
(defclass A (is-a USER) (role concrete) (slot x (create-accessor read-write)))
(defmessage-handler A foo (?a) 
   (bind ?x 1)
   (bind ?y 2)
   (put x ?self)) 
(make-instance a of A)             ; DR0657
(send [a] foo 1)                   ; DR0657
(clear)                            ; DR0658
(defclass A (is-a USER) (role concrete) (multislot x (create-accessor read-write)))
(make-instance a of A)             ; DR0658
(mv-slot-insert [a] x 1 abc)       ; DR0658
(clear)                            ; DR0659
(defclass a (is-a USER) ())        ; DR0659
(defclass b (is-a USER) (slot))    ; DR0659
(list-defclasses)                  ; DR0659
(clear)                            ; DR0660
(definstances bad (a of))          ; DR0660
(clear)                            ; DR0661
(definstances bad (a of BOGUS))    ; DR0661
(reset)                            ; DR0661
(facts)                            ; DR0661
(clear)                            ; DR0662
(sub-string 0 0 abc)               ; DR0662
(clear)                            ; DR0663
(defmessage-handler USER * ())     ; DR0663
(list-defmessage-handlers USER)    ; DR0663 - changed
(clear)                            ; DR0664
(defglobal ?*x* = 0)               ; DR0664
(defclass A (is-a USER)            ; DR0664
   (slot x (default ?*x*) (create-accessor read-write))
   (slot y (default-dynamic ?*x*) (create-accessor read-write)))
(clear)                            ; DR0665
(preview-send OBJECT bogus)        ; DR0665
(clear)                            ; DR0666
(defglobal ?*x* = 300)             ; DR0666
(defclass A (is-a USER) (role concrete)); DR0666
(make-instance a of A)             ; DR0666
(while (> ?*x* 0) do 
   (any-instancep ((?a A)) TRUE)
   (bind ?*x* (- ?*x* 1)))
(do-for-all-instances ((?a A)) TRUE (printout t "Foo!" crlf))
(clear)                            ; DR0668
(defclass a (is-a USER))           ; DR0668
(defclass b (is-a USER))           ; DR0668
(defclass c (is-a a b))            ; DR0668
(defclass d (is-a a))              ; DR0668
(defclass e (is-a c d))            ; DR0668
(clear)                            ; DR0668
(defclass a (is-a USER))           ; DR0668
(defclass b (is-a USER))           ; DR0668
(defclass c (is-a a))              ; DR0668
(defclass d (is-a b))              ; DR0668
(defclass e (is-a c d))            ; DR0668
(defclass f (is-a e a b))          ; DR0668
(describe-class f)                 ; DR0668
(clear)                            ; DR0670
(defrule foo => (close blah))      ; DR0670
(reset)                            ; DR0670
(run)                              ; DR0670
(clear)                            ; DR0672
(defglobal ?*x* = (create$ a b c d))
(deffunction foo ()
   (bind ?y ?*x*)
   (printout t ?y " " ?*x* crlf)
   (bind ?*x* (create$ e f g h))
   (printout t ?y " " ?*x* crlf))
(foo)                              ; DR0672
(clear)