class.exp

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

TRUE
CLIPS> (batch "class.bat")
TRUE
CLIPS> (describe-class OBJECT)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses:
Inheritance Precedence: OBJECT
Direct Subclasses: PRIMITIVE USER
********************************************************************************
================================================================================
CLIPS> (describe-class USER)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: OBJECT
Inheritance Precedence: USER OBJECT
Direct Subclasses: INITIAL-OBJECT doc-test A1 A2 A3 A4 A5 A6 A7 A8 A9 GLOBAL-TEST
--------------------------------------------------------------------------------
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 PRIMITIVE)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: OBJECT
Inheritance Precedence: PRIMITIVE OBJECT
Direct Subclasses: NUMBER LEXEME MULTIFIELD ADDRESS INSTANCE
********************************************************************************
================================================================================
CLIPS> (describe-class MULTIFIELD)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: PRIMITIVE
Inheritance Precedence: MULTIFIELD PRIMITIVE OBJECT
Direct Subclasses:
********************************************************************************
================================================================================
CLIPS> (describe-class NUMBER)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: PRIMITIVE
Inheritance Precedence: NUMBER PRIMITIVE OBJECT
Direct Subclasses: INTEGER FLOAT
********************************************************************************
================================================================================
CLIPS> (describe-class EXTERNAL-ADDRESS)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: ADDRESS
Inheritance Precedence: EXTERNAL-ADDRESS ADDRESS PRIMITIVE OBJECT
Direct Subclasses:
********************************************************************************
================================================================================
CLIPS> (describe-class LEXEME)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: PRIMITIVE
Inheritance Precedence: LEXEME PRIMITIVE OBJECT
Direct Subclasses: SYMBOL STRING
********************************************************************************
================================================================================
CLIPS> (describe-class INTEGER)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: NUMBER
Inheritance Precedence: INTEGER NUMBER PRIMITIVE OBJECT
Direct Subclasses:
********************************************************************************
================================================================================
CLIPS> (describe-class FLOAT)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: NUMBER
Inheritance Precedence: FLOAT NUMBER PRIMITIVE OBJECT
Direct Subclasses:
********************************************************************************
================================================================================
CLIPS> (describe-class SYMBOL)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: LEXEME
Inheritance Precedence: SYMBOL LEXEME PRIMITIVE OBJECT
Direct Subclasses:
********************************************************************************
================================================================================
CLIPS> (describe-class STRING)
================================================================================
********************************************************************************
Abstract: direct instances of this class cannot be created.

Direct Superclasses: LEXEME
Inheritance Precedence: STRING LEXEME PRIMITIVE OBJECT
Direct Subclasses:
********************************************************************************
================================================================================
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
doc-test
A1
B1
A2
A3
A4
A5
A6
A7
B7
A8
B8
C8
A9
B9
GLOBAL-TEST
For a total of 33 defclasses.
CLIPS> (describe-class A1)
================================================================================
********************************************************************************
Concrete: direct instances of this class can be created.
Non-reactive: direct instances of this class cannot match defrule patterns.

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

Constraint information for slots:

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

Direct Superclasses: A1
Inheritance Precedence: B1 A1 USER OBJECT
Direct Subclasses:
--------------------------------------------------------------------------------
SLOTS : FLD DEF PRP ACC STO MCH SRC VIS CRT OVRD-MSG SOURCE(S)
fooA  : SGL STC INH RW  LCL RCT EXC PRV RW  put-fooA A1
barA  : SGL STC INH RW  LCL RCT EXC PRV RW  put-barA A1
fooB  : SGL STC INH RW  LCL RCT EXC PRV RW  put-fooB B1
barB  : SGL STC INH RW  LCL RCT EXC PRV RW  put-barB B1

Constraint information for slots:

SLOTS : SYM STR INN INA EXA FTA INT FLT
fooA  :  +   +   +   +   +   +   +   +  RNG:[-oo..+oo] 
barA  :  +   +   +   +   +   +   +   +  RNG:[-oo..+oo] 
fooB  :  +   +   +   +   +   +   +   +  RNG:[-oo..+oo] 
barB  :  +   +   +   +   +   +   +   +  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-fooA primary in class A1
put-fooA primary in class A1
get-barA primary in class A1
put-barA primary in class A1
get-fooB primary in class B1
put-fooB primary in class B1
get-barB primary in class B1
put-barB primary in class B1
********************************************************************************
================================================================================
CLIPS> (make-instance a21 of A2)
[a21]
CLIPS> (make-instance a22 of A2)
[a22]
CLIPS> (send [a21] print)
[a21] of A2
(foo gen2)
(bar gen1)
CLIPS> (send [a22] print)