drtest07.exp

来自「NASA 开发使用的一个专家系统」· EXP 代码 · 共 590 行 · 第 1/2 页

   (do-for-all-instances ((?a USER))
      TRUE
      (send ?a print))
   (printout t "Finished." crlf))
CLIPS> (clear)                            ; DR0644
CLIPS> (ppdeffunction bad)                ; DR0644
[PRNTUTIL1] Unable to find deffunction bad.
CLIPS> (clear)                            ; DR0645
CLIPS> (deffacts start (result # 0 1 0))
CLIPS> (defrule print-responses
   (result $?input # $?response)
   =>
   (while (neq ?response (create$)) do
      (nth 1 ?response)
      (bind ?response (create$))))
CLIPS> (reset)                            ; DR0645
CLIPS> (run)                              ; DR0645
CLIPS> (clear)                            ; DR0647
CLIPS> (defclass A (is-a USER) (slot x (create-accessor read-write)))  ; DR0647
CLIPS> (defclass B (is-a A))              ; DR0647
CLIPS> (describe-class B)                 ; DR0647
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: A
Inheritance Precedence: B A USER OBJECT
Direct Subclasses:
--------------------------------------------------------------------------------
SLOTS : FLD DEF PRP ACC STO MCH SRC VIS CRT OVRD-MSG SOURCE(S)
x     : SGL STC INH RW  LCL RCT EXC PRV RW  put-x    A

Constraint information for slots:

SLOTS : SYM STR INN INA EXA FTA INT FLT
x     :  +   +   +   +   +   +   +   +  RNG:[-oo..+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-x primary in class A
put-x primary in class A
********************************************************************************
================================================================================
CLIPS> (constructs-to-c bug 1)            ; DR0647
[CSTRNCMP1] WARNING: Constraints are not saved with a constructs-to-c image
  when dynamic constraint checking is disabled.
CLIPS> (describe-class B)                 ; DR0647
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: A
Inheritance Precedence: B A USER OBJECT
Direct Subclasses:
--------------------------------------------------------------------------------
SLOTS : FLD DEF PRP ACC STO MCH SRC VIS CRT OVRD-MSG SOURCE(S)
x     : SGL STC INH RW  LCL RCT EXC PRV RW  put-x    A

Constraint information for slots:

SLOTS : SYM STR INN INA EXA FTA INT FLT
x     :  +   +   +   +   +   +   +   +  RNG:[-oo..+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-x primary in class A
put-x primary in class A
********************************************************************************
================================================================================
CLIPS> (clear)                            ; DR0648
CLIPS> (bsave "none.bin")                 ; DR0648
TRUE
CLIPS> (deffunction one ())               ; DR0648
CLIPS> (bsave "some.bin")                 ; DR0648
TRUE
CLIPS> (bload "none.bin")                 ; DR0648
TRUE
CLIPS> (clear)                            ; DR0649
CLIPS> (div a)                            ; DR0649
[ARGACCES4] Function div expected at least 2 argument(s)
CLIPS> (div 1)                            ; DR0649
[ARGACCES4] Function div expected at least 2 argument(s)
CLIPS> (asin 2)                           ; DR0649
[EMATHFUN1] Domain error for asin function.
0.0
CLIPS> (atanh 1.0)                        ; DR0649
[EMATHFUN1] Domain error for atanh function.
0.0
CLIPS> (clear)                            ; DR0650
CLIPS> (deffacts foo)                     ; DR0650
CLIPS> (defrule foo =>)                   ; DR0650
CLIPS> (deftemplate foo)                  ; DR0650
CLIPS> (deffacts *)                       ; DR0650
CLIPS> (defrule * =>)                     ; DR0650
CLIPS> (deftemplate *)                    ; DR0650
CLIPS> (list-deffacts)                    ; DR0650
initial-fact
foo
*
For a total of 3 deffacts.
CLIPS> (list-defrules)                    ; DR0650
foo
*
For a total of 2 defrules.
CLIPS> (list-deftemplates)                ; DR0650
initial-fact
foo
*
For a total of 3 deftemplates.
CLIPS> (clear)                            ; DR0654
CLIPS> (fetch "XYZBEDQ.txt")              ; DR0654
[TEXTPRO2] Unable to load file.
Could not open file "XYZBEDQ.txt".
FALSE
CLIPS> (clear)                            ; DR0655
CLIPS> (defclass A (is-a USER) (slot x (create-accessor read-write)))  ; DR0655
CLIPS> (defclass B (is-a A) (slot y (create-accessor read-write)))     ; DR0655
CLIPS> (defmessage-handler B get-y ())    ; DR0655
[MSGPSR3] System message-handlers may not be modified.

ERROR:
(defmessage-handler MAIN::B get-y
   (
CLIPS> (clear)                            ; DR0656
CLIPS> (defclass A (is-a USER) (role concrete) (multislot x (create-accessor read-write)))
CLIPS> (make-instance a of A (x (instance-address a) 34))
[a]
CLIPS> (save-instances ins.sav)           ; DR0656
1
CLIPS> (clear)                            ; DR0657
CLIPS> (defclass A (is-a USER) (role concrete) (slot x (create-accessor read-write)))
CLIPS> (defmessage-handler A foo (?a) 
   (bind ?x 1)
   (bind ?y 2)
   (put x ?self)) 
CLIPS> (make-instance a of A)             ; DR0657
[a]
CLIPS> (send [a] foo 1)                   ; DR0657
<Instance-a>
CLIPS> (clear)                            ; DR0658
CLIPS> (defclass A (is-a USER) (role concrete) (multislot x (create-accessor read-write)))
CLIPS> (make-instance a of A)             ; DR0658
[a]
CLIPS> (mv-slot-insert [a] x 1 abc)       ; DR0658
(abc)
CLIPS> (clear)                            ; DR0659
CLIPS> (defclass a (is-a USER) ())        ; DR0659

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for defclass.

ERROR:
(defclass MAIN::a
   (is-a USER)
   ()
CLIPS> (defclass b (is-a USER) (slot))    ; DR0659

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for defclass slot.

ERROR:
(defclass MAIN::b
   (is-a USER)
   (slot )
CLIPS> (list-defclasses)                  ; DR0659
FLOAT
INTEGER
SYMBOL
STRING
MULTIFIELD
EXTERNAL-ADDRESS
FACT-ADDRESS
INSTANCE-ADDRESS
INSTANCE-NAME
OBJECT
PRIMITIVE
NUMBER
LEXEME
ADDRESS
INSTANCE
USER
INITIAL-OBJECT
For a total of 17 defclasses.
CLIPS> (clear)                            ; DR0660
CLIPS> (definstances bad (a of))          ; DR0660

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance class.

ERROR:
(definstances MAIN::bad
   (a of )
CLIPS> (clear)                            ; DR0661
CLIPS> (definstances bad (a of BOGUS))    ; DR0661
[PRNTUTIL1] Unable to find class BOGUS.

ERROR:
(definstances MAIN::bad
   (a of BOGUS
CLIPS> (reset)                            ; DR0661
CLIPS> (facts)                            ; DR0661
f-0     (initial-fact)
For a total of 1 fact.
CLIPS> (clear)                            ; DR0662
CLIPS> (sub-string 0 0 abc)               ; DR0662
""
CLIPS> (clear)                            ; DR0663
CLIPS> (defmessage-handler USER * ())     ; DR0663
CLIPS> (list-defmessage-handlers USER)    ; DR0663 - changed
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
* primary in class USER
For a total of 8 message-handlers.
CLIPS> (clear)                            ; DR0664
CLIPS> (defglobal ?*x* = 0)               ; DR0664
CLIPS> (defclass A (is-a USER)            ; DR0664
   (slot x (default ?*x*) (create-accessor read-write))
   (slot y (default-dynamic ?*x*) (create-accessor read-write)))
CLIPS> (clear)                            ; DR0665
CLIPS> (preview-send OBJECT bogus)        ; DR0665
[MSGFUN1] No applicable primary message-handlers found for bogus.
CLIPS> (clear)                            ; DR0666
CLIPS> (defglobal ?*x* = 300)             ; DR0666
CLIPS> (defclass A (is-a USER) (role concrete)); DR0666
CLIPS> (make-instance a of A)             ; DR0666
[a]
CLIPS> (while (> ?*x* 0) do 
   (any-instancep ((?a A)) TRUE)
   (bind ?*x* (- ?*x* 1)))
FALSE
CLIPS> (do-for-all-instances ((?a A)) TRUE (printout t "Foo!" crlf))
Foo!
CLIPS> (clear)                            ; DR0668
CLIPS> (defclass a (is-a USER))           ; DR0668
CLIPS> (defclass b (is-a USER))           ; DR0668
CLIPS> (defclass c (is-a a b))            ; DR0668
CLIPS> (defclass d (is-a a))              ; DR0668
CLIPS> (defclass e (is-a c d))            ; DR0668
CLIPS> (clear)                            ; DR0668
CLIPS> (defclass a (is-a USER))           ; DR0668
CLIPS> (defclass b (is-a USER))           ; DR0668
CLIPS> (defclass c (is-a a))              ; DR0668
CLIPS> (defclass d (is-a b))              ; DR0668
CLIPS> (defclass e (is-a c d))            ; DR0668
CLIPS> (defclass f (is-a e a b))          ; DR0668
CLIPS> (describe-class f)                 ; DR0668
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: e a b
Inheritance Precedence: f e c a d b USER OBJECT
Direct Subclasses:
--------------------------------------------------------------------------------
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
********************************************************************************
================================================================================
CLIPS> (clear)                            ; DR0670
CLIPS> (defrule foo => (close blah))      ; DR0670
CLIPS> (reset)                            ; DR0670
CLIPS> (run)                              ; DR0670
CLIPS> (clear)                            ; DR0672
CLIPS> (defglobal ?*x* = (create$ a b c d))
CLIPS> (deffunction foo ()
   (bind ?y ?*x*)
   (printout t ?y " " ?*x* crlf)
   (bind ?*x* (create$ e f g h))
   (printout t ?y " " ?*x* crlf))
CLIPS> (foo)                              ; DR0672
(a b c d) (a b c d)
(a b c d) (e f g h)
CLIPS> (clear)
CLIPS> (dribble-off)