TRUE
CLIPS> (batch "firstjoin.bat")
TRUE
CLIPS> (clear) ; Sharing
CLIPS> (watch activations)
CLIPS> (defrule foo =>)
==> Activation 0 foo: *
CLIPS> (agenda)
0 foo: *
For a total of 1 activation.
CLIPS> (run)
CLIPS> (reset)
==> Activation 0 foo: *
CLIPS> (agenda)
0 foo: *
For a total of 1 activation.
CLIPS> (defrule bar =>)
==> Activation 0 bar: *
CLIPS> (agenda)
0 bar: *
0 foo: *
For a total of 2 activations.
CLIPS> (reset)
<== Activation 0 bar: *
<== Activation 0 foo: *
==> Activation 0 bar: *
==> Activation 0 foo: *
CLIPS> (agenda)
0 foo: *
0 bar: *
For a total of 2 activations.
CLIPS> (clear) ; Bug 1
CLIPS> (set-strategy mea)
depth
CLIPS> (defrule r1 =>))
==> Activation 0 r1: *
CLIPS> (defrule r7 (not (x)) =>)
==> Activation 0 r7: *
CLIPS> (agenda)
0 r7: *
0 r1: *
For a total of 2 activations.
CLIPS> (set-strategy lex)
mea
CLIPS> (reset)
<== Activation 0 r1: *
<== Activation 0 r7: *
==> Activation 0 r1: *
==> Activation 0 r7: *
CLIPS> (agenda)
0 r7: *
0 r1: *
For a total of 2 activations.
CLIPS> (run)
CLIPS> (set-strategy depth)
lex
CLIPS> (clear) ; First CE is not
CLIPS> (defrule foo (not (a)) =>)
==> Activation 0 foo: *
CLIPS> (agenda)
0 foo: *
For a total of 1 activation.
CLIPS> (assert (a))
<== Activation 0 foo: *
<Fact-1>
CLIPS> (retract 1)
==> Activation 0 foo: *
CLIPS> (agenda)
0 foo: *
For a total of 1 activation.
CLIPS> (reset)
<== Activation 0 foo: *
==> Activation 0 foo: *
CLIPS> (agenda)
0 foo: *
For a total of 1 activation.
CLIPS> (assert (a))
<== Activation 0 foo: *
<Fact-1>
CLIPS> (reset)
==> Activation 0 foo: *
CLIPS> (clear) ; First CE is not/logical
CLIPS>
(defrule foo
(logical (not (a)))
=>
(assert (b)))
==> Activation 0 foo: *
CLIPS> (watch facts)
CLIPS> (run)
==> f-1 (b)
CLIPS> (assert (a))
==> f-2 (a)
<== f-1 (b)
<Fact-2>
CLIPS> (clear) ; First CE is not/and
CLIPS> (defrule foo (not (and (a) (b))) =>)
==> Activation 0 foo: *
CLIPS> (assert (a))
==> f-1 (a)
<Fact-1>
CLIPS> (assert (b))
==> f-2 (b)
<== Activation 0 foo: *
<Fact-2>
CLIPS> (retract 2)
<== f-2 (b)
==> Activation 0 foo: *
CLIPS> (clear) ; First CE is test
CLIPS> (defrule foo (test (> 4 3)) =>)
==> Activation 0 foo: *
CLIPS> (defrule bar (test (< 4 3)) =>)
CLIPS> (unwatch facts)
CLIPS> (clear) ; First CE is not with test
CLIPS> (defrule foo (not (a)) (test (> 0 1)) =>)
CLIPS> (defrule bar (not (b)) (test (< 0 1)) =>)
==> Activation 0 bar: *
CLIPS> (reset)
<== Activation 0 bar: *
==> Activation 0 bar: *
CLIPS> (clear)
CLIPS> (assert (a) (b))
<Fact-2>
CLIPS> (defrule foo (not (a)) (test (> 0 1)) =>)
CLIPS> (defrule bar (not (b)) (test (< 0 1)) =>)
==> Activation 0 bar: *
<== Activation 0 bar: *
CLIPS> (reset)
==> Activation 0 bar: *
CLIPS> (defrule foo2 (not (a)) (test (> 0 1)) (not (x)) =>)
CLIPS> (defrule bar2 (not (b)) (test (< 0 1)) (not (x)) =>)
==> Activation 0 bar2: *,*
CLIPS> (clear)
CLIPS> (defrule bar (a) (not (and (test (< 5 3)) (b))) (c) =>)
CLIPS> (matches bar)
Matches for Pattern 1
None
Matches for Pattern 2
None
Matches for Pattern 3
None
Matches for Pattern 4
None
Partial matches for CEs 1 - 2
None
Partial matches for CEs 1 - 3
None
Partial matches for CEs 1 (P1) , 2 (P2 - P3)
None
Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4)
None
Activations
None
(0 0 0)
CLIPS> (defrule foo (test (> 3 4)) =>)
CLIPS> (defrule yak (test (< 3 4)) =>)
==> Activation 0 yak: *
CLIPS> (matches foo)
Matches for Pattern 1
None
Activations
None
(0 0 0)
CLIPS> (matches yak)
Matches for Pattern 1
*
Activations
*
(1 0 1)
CLIPS> (clear) ; Incremental Reset exists/nand CE
CLIPS> (defrule foo (a) (b) (c) =>)
CLIPS> (assert (a) (b) (c) (d))
==> Activation 0 foo: f-1,f-2,f-3
<Fact-4>
CLIPS> (defrule bar (exists (a) (b)) (d) =>)
==> Activation 0 bar: *,f-4
CLIPS> (defrule yak (exists (a) (b)) (c) =>)
==> Activation 0 yak: *,f-3
CLIPS> (defrule woz (not (and (a) (b))) (d) =>)
CLIPS> (unwatch activations) ; Done
CLIPS> (clear)
CLIPS> (dribble-off)