coolcmd.exp

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

TRUE
CLIPS> (batch "coolcmd.bat")
TRUE
CLIPS> (defclass PP-TEST (is-a USER)
   (multislot x)
   (slot y))
CLIPS> (ppdefclass)
[ARGACCES4] Function ppdefclass expected exactly 1 argument(s)
CLIPS> (ppdefclass USER)
CLIPS> (ppdefclass BOGUS)
[PRNTUTIL1] Unable to find defclass BOGUS.
CLIPS> (ppdefclass PP-TEST)
(defclass MAIN::PP-TEST
   (is-a USER)
   (multislot x)
   (slot y))
CLIPS> (list-defclasses)
FLOAT
INTEGER
SYMBOL
STRING
MULTIFIELD
EXTERNAL-ADDRESS
FACT-ADDRESS
INSTANCE-ADDRESS
INSTANCE-NAME
OBJECT
PRIMITIVE
NUMBER
LEXEME
ADDRESS
INSTANCE
USER
INITIAL-OBJECT
PP-TEST
For a total of 18 defclasses.
CLIPS> (defclass TEST (is-a USER) (role concrete))
CLIPS> (defclass ANOTHER-TEST (is-a TEST))
CLIPS> (defclass * (is-a OBJECT))
CLIPS> (undefclass BOGUS)
[PRNTUTIL1] Unable to find defclass BOGUS.
CLIPS> (undefclass *)
CLIPS> (undefclass OBJECT)
[PRNTUTIL4] Unable to delete defclass OBJECT.
CLIPS> (undefclass USER)
[PRNTUTIL4] Unable to delete defclass USER.
CLIPS> (undefclass PRIMITIVE)
[PRNTUTIL4] Unable to delete defclass PRIMITIVE.
CLIPS> (undefclass MULTIFIELD)
[PRNTUTIL4] Unable to delete defclass MULTIFIELD.
CLIPS> (undefclass EXTERNAL-ADDRESS)
[PRNTUTIL4] Unable to delete defclass EXTERNAL-ADDRESS.
CLIPS> (undefclass NUMBER)
[PRNTUTIL4] Unable to delete defclass NUMBER.
CLIPS> (undefclass LEXEME)
[PRNTUTIL4] Unable to delete defclass LEXEME.
CLIPS> (undefclass INTEGER)
[PRNTUTIL4] Unable to delete defclass INTEGER.
CLIPS> (undefclass FLOAT)
[PRNTUTIL4] Unable to delete defclass FLOAT.
CLIPS> (undefclass SYMBOL)
[PRNTUTIL4] Unable to delete defclass SYMBOL.
CLIPS> (undefclass STRING)
[PRNTUTIL4] Unable to delete defclass STRING.
CLIPS> (make-instance t of TEST)
[t]
CLIPS> (undefclass TEST)
[PRNTUTIL4] Unable to delete defclass TEST.
CLIPS> (unmake-instance *)
TRUE
CLIPS> (defmethod foo ((?a TEST)))
CLIPS> (undefclass TEST)
[PRNTUTIL4] Unable to delete defclass TEST.
CLIPS> (undefgeneric foo)
CLIPS> (undefclass TEST)
CLIPS> (list-defclasses)
FLOAT
INTEGER
SYMBOL
STRING
MULTIFIELD
EXTERNAL-ADDRESS
FACT-ADDRESS
INSTANCE-ADDRESS
INSTANCE-NAME
OBJECT
PRIMITIVE
NUMBER
LEXEME
ADDRESS
INSTANCE
USER
INITIAL-OBJECT
PP-TEST
For a total of 18 defclasses.
CLIPS> (undefclass *)
CLIPS> (list-defclasses)
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> (defclass CHILD (is-a USER)
  (slot age)
  (slot sex (access read-only)
            (storage shared)))
CLIPS> (defclass BOY (is-a CHILD)
   (role concrete)
   (slot sex (source composite)
             (default male)))
CLIPS> (defmessage-handler BOY play ()
   (printout t "The boy is now playing..." crlf))
CLIPS> (describe-class CHILD)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: USER
Inheritance Precedence: CHILD USER OBJECT
Direct Subclasses: BOY
--------------------------------------------------------------------------------
SLOTS : FLD DEF PRP ACC STO MCH SRC VIS CRT OVRD-MSG SOURCE(S)
age   : SGL STC INH RW  LCL RCT EXC PRV NIL put-age  CHILD
sex   : SGL STC INH  R  SHR RCT EXC PRV NIL NIL      CHILD

Constraint information for slots:

SLOTS : SYM STR INN INA EXA FTA INT FLT
age   :  +   +   +   +   +   +   +   +  RNG:[-oo..+oo] 
sex   :  +   +   +   +   +   +   +   +  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
********************************************************************************
================================================================================
CLIPS> (describe-class BOY)
================================================================================
********************************************************************************
Concrete: direct instances of this class can be created.
Non-reactive: direct instances of this class cannot match defrule patterns.

Direct Superclasses: CHILD
Inheritance Precedence: BOY CHILD USER OBJECT
Direct Subclasses:
--------------------------------------------------------------------------------
SLOTS : FLD DEF PRP ACC STO MCH SRC VIS CRT OVRD-MSG SOURCE(S)
age   : SGL STC INH RW  LCL RCT EXC PRV NIL put-age  CHILD
sex   : SGL STC INH  R  SHR RCT CMP PRV NIL NIL      CHILD BOY

Constraint information for slots:

SLOTS : SYM STR INN INA EXA FTA INT FLT
age   :  +   +   +   +   +   +   +   +  RNG:[-oo..+oo] 
sex   :  +   +   +   +   +   +   +   +  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
play primary in class BOY
********************************************************************************
================================================================================
CLIPS> (defclass a (is-a USER))
CLIPS> (defclass b (is-a USER))
CLIPS> (defclass c (is-a a b))
CLIPS> (defclass d (is-a USER))
CLIPS> (defclass e (is-a c d))
CLIPS> (defclass f (is-a e))
CLIPS> (browse-classes)
OBJECT
  PRIMITIVE
    NUMBER
      INTEGER
      FLOAT
    LEXEME
      SYMBOL
      STRING
    MULTIFIELD
    ADDRESS
      EXTERNAL-ADDRESS
      FACT-ADDRESS
      INSTANCE-ADDRESS *
    INSTANCE
      INSTANCE-ADDRESS *
      INSTANCE-NAME
  USER
    INITIAL-OBJECT
    CHILD
      BOY
    a
      c *
        e *
          f
    b
      c *
        e *
          f
    d
      e *
        f
CLIPS> (browse-classes a)
a
  c *
    e *
      f
CLIPS> (browse-classes BOGUS)
[CLASSFUN1] Unable to find class BOGUS in function browse-classes.
CLIPS> (browse-classes 34)
[ARGACCES5] Function browse-classes expected argument #1 to be of type symbol
CLIPS> (ppdefmessage-handler)
[ARGACCES4] Function ppdefmessage-handler expected at least 2 argument(s)
CLIPS> (ppdefmessage-handler bogus)
[ARGACCES4] Function ppdefmessage-handler expected at least 2 argument(s)
CLIPS> (ppdefmessage-handler bogus bogus)
[MSGCOM2] Unable to find message-handler bogus primary for class bogus in function ppdefmessage-handler.
CLIPS> (ppdefmessage-handler USER bogus)
[MSGCOM2] Unable to find message-handler bogus primary for class USER in function ppdefmessage-handler.
CLIPS> (ppdefmessage-handler bogus init)
[MSGCOM2] Unable to find message-handler init primary for class bogus in function ppdefmessage-handler.
CLIPS> (ppdefmessage-handler USER init)
CLIPS> (ppdefmessage-handler BOY play)
(defmessage-handler MAIN::BOY play
   ()
   (printout t "The boy is now playing..." crlf))
CLIPS> (ppdefmessage-handler BOY play primary)
(defmessage-handler MAIN::BOY play
   ()
   (printout t "The boy is now playing..." crlf))
CLIPS> (ppdefmessage-handler USER init around)
[MSGCOM2] Unable to find message-handler init around for class USER in function ppdefmessage-handler.