class.exp

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

[a22] of A2
(foo gen3)
(bar gen1)
CLIPS> (make-instance a3 of A3)
[a3]
CLIPS> (nth 2 (send [a3] get-foo))
def
CLIPS> (send [a3] put-bar 45)
45
CLIPS> (send [a3] get-bar)
45
CLIPS> (make-instance a4 of A4)
[a4]
CLIPS> (send [a4] print)
[a4] of A4
(foo 1)
(bar 2)
(woz nil)
CLIPS> (send [a4] put-foo 56)
56
CLIPS> (send [a4] put-bar 104)
104
CLIPS> (make-instance [b4] of A4)
[b4]
CLIPS> (send [b4] print)
[b4] of A4
(foo 56)
(bar 2)
(woz nil)
CLIPS> (send [b4] put-foo 34)
34
CLIPS> (send [b4] put-woz 68)
68
CLIPS> (send [a4] print)
[a4] of A4
(foo 34)
(bar 2)
(woz nil)
CLIPS> (send [b4] print)
[b4] of A4
(foo 34)
(bar 2)
(woz 68)
CLIPS> (describe-class A5)
================================================================================
********************************************************************************
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: A5 USER OBJECT
Direct Subclasses:
--------------------------------------------------------------------------------
SLOTS : FLD DEF PRP ACC STO MCH SRC VIS CRT OVRD-MSG SOURCE(S)
foo   : SGL STC INH  R  SHR RCT EXC PRV  R  NIL      A5

Constraint information for slots:

SLOTS : SYM STR INN INA EXA FTA INT FLT
foo   :  +   +   +   +   +   +   +   +  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-foo primary in class A5
********************************************************************************
================================================================================
CLIPS> (make-instance a6 of A6 (bar 34))
[MSGFUN1] No applicable primary message-handlers found for put-bar.
FALSE
CLIPS> (make-instance a6 of A6 (foo 34) (woz 65))
[a6]
CLIPS> (send [a6] put-bar 1)
[MSGFUN1] No applicable primary message-handlers found for put-bar.
FALSE
CLIPS> (send [a6] put-woz 1)
[MSGFUN3] woz slot in [a6] of A6: write access denied.
[PRCCODE4] Execution halted during the actions of message-handler put-woz primary in class A6
FALSE
CLIPS> (send [a6] print)
[a6] of A6
(foo 34)
(bar abc)
(woz 65)
CLIPS> (describe-class A7)
================================================================================
********************************************************************************
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: A7 USER OBJECT
Direct Subclasses: B7
--------------------------------------------------------------------------------
SLOTS : FLD DEF PRP ACC STO MCH SRC VIS CRT OVRD-MSG SOURCE(S)
foo   : SGL STC INH RW  LCL RCT EXC PRV RW  put-foo  A7
bar   : SGL STC NIL RW  LCL RCT EXC PRV RW  put-bar  A7

Constraint information for slots:

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

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

Constraint information for slots:

SLOTS : SYM STR INN INA EXA FTA INT FLT
foo   :  +   +   +   +   +   +   +   +  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-foo primary in class A7
put-foo primary in class A7
get-bar primary in class A7
put-bar primary in class A7
********************************************************************************
================================================================================
CLIPS> (describe-class C8)
================================================================================
********************************************************************************
Concrete: direct instances of this class can be created.
Non-reactive: direct instances of this class cannot match defrule patterns.

Direct Superclasses: B8
Inheritance Precedence: C8 B8 A8 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      A8 C8

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 A8
put-foo primary in class A8
get-foo primary in class B8
put-foo primary in class B8
get-foo primary in class C8
********************************************************************************
================================================================================
CLIPS> (describe-class B9)
================================================================================
********************************************************************************
Concrete: direct instances of this class can be created.
Non-reactive: direct instances of this class cannot match defrule patterns.

Direct Superclasses: A9
Inheritance Precedence: B9 A9 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      A9 B9

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 A9
get-foo primary in class B9
********************************************************************************
================================================================================
CLIPS> (make-instance a9 of A9)
[a9]
CLIPS> (make-instance b9 of B9)
[b9]
CLIPS> (send [a9] get-foo)
(a b c)
CLIPS> (send [b9] get-foo)
(d e f)
CLIPS> (make-instance global-test of GLOBAL-TEST)
[global-test]
CLIPS> (send [global-test] print)
[global-test] of GLOBAL-TEST
(x 100)
(y 100)
CLIPS> (bind ?*global-test* 200)
200
CLIPS> (initialize-instance global-test)
[global-test]
CLIPS> (send [global-test] print)
[global-test] of GLOBAL-TEST
(x 100)
(y 200)
CLIPS> (dribble-off)