TRUE CLIPS> (batch "joinview.bat") TRUE CLIPS> (clear) CLIPS> (defrule joins =>) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 (0 1 0) CLIPS> (clear) CLIPS> (defrule joins (a) =>) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 (0 0 0) CLIPS> (assert (a)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 (0 1 0) CLIPS> (retract 1) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 1 (0 1 1) CLIPS> (clear) CLIPS> (defrule joins (a ?x) (b ?x) (c ?x) =>) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 (0 0 0) CLIPS> (assert (a 1) (b 1) (c 1)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 3 Compares: 1 Adds: 1 Deletes: 0 (2 3 0) CLIPS> (assert (c 2) (b 2) (a 2)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 2 Deletes: 0 Activity for CE 2 Compares: 2 Adds: 2 Deletes: 0 Activity for CE 3 Compares: 2 Adds: 2 Deletes: 0 (4 6 0) CLIPS> (assert (a 3) (b 4) (c 5)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 3 Deletes: 0 Activity for CE 2 Compares: 2 Adds: 2 Deletes: 0 Activity for CE 3 Compares: 2 Adds: 2 Deletes: 0 (4 7 0) CLIPS> (join-activity joins verbose) Activity for CE 1 Compares: 0 Adds: 3 Deletes: 0 Activity for CE 2 Compares: 2 Adds: 2 Deletes: 0 Activity for CE 3 Compares: 2 Adds: 2 Deletes: 0 (4 7 0) CLIPS> (join-activity joins succinct) CE 1: 3 CE 2: 4 CE 3: 4 (4 7 0) CLIPS> (join-activity joins terse) (4 7 0) CLIPS> (join-activity joins bogus) [ARGACCES2] Function 'join-activity' expected argument #2 to be of type symbol with value verbose, succinct, or terse. FALSE CLIPS> (join-activity bogus) [PRNTUTIL1] Unable to find defrule 'bogus'. FALSE CLIPS> (clear) CLIPS> (defrule joins (a) (not (b ?)) =>) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 (0 0 0) CLIPS> (assert (a)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 1 Deletes: 0 (0 2 0) CLIPS> (assert (b 1)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 1 Adds: 1 Deletes: 1 (1 2 1) CLIPS> (assert (b 2) (b 3)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 3 Adds: 1 Deletes: 1 (3 2 1) CLIPS> (retract 4) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 3 Adds: 1 Deletes: 1 (3 2 1) CLIPS> (retract 2) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 4 Adds: 1 Deletes: 1 (4 2 1) CLIPS> (retract 3) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 4 Adds: 2 Deletes: 1 (4 3 1) CLIPS> (clear) CLIPS> (defrule joins (a ?x) (not (and (b ?x) (c ?x))) =>) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 (P2 - P3) Compares: 0 Adds: 0 Deletes: 0 (0 0 0) CLIPS> (assert (c 1)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 (P2 - P3) Compares: 0 Adds: 0 Deletes: 0 (0 0 0) CLIPS> (assert (a 1)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 (P2 - P3) Compares: 0 Adds: 1 Deletes: 0 (0 2 0) CLIPS> (assert (b 1)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 3 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 2 (P2 - P3) Compares: 1 Adds: 1 Deletes: 1 (3 4 1) CLIPS> (assert (a 2)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 2 Deletes: 0 Activity for CE 2 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 3 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 2 (P2 - P3) Compares: 1 Adds: 2 Deletes: 1 (3 6 1) CLIPS> (assert (b 2)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 2 Deletes: 0 Activity for CE 2 Compares: 2 Adds: 2 Deletes: 0 Activity for CE 3 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 2 (P2 - P3) Compares: 1 Adds: 2 Deletes: 1 (4 7 1) CLIPS> (assert (c 2)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 2 Deletes: 0 Activity for CE 2 Compares: 2 Adds: 2 Deletes: 0 Activity for CE 3 Compares: 2 Adds: 2 Deletes: 0 Activity for CE 2 (P2 - P3) Compares: 2 Adds: 2 Deletes: 2 (6 8 2) CLIPS> (retract 2) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 2 Deletes: 1 Activity for CE 2 Compares: 2 Adds: 2 Deletes: 1 Activity for CE 3 Compares: 2 Adds: 2 Deletes: 1 Activity for CE 2 (P2 - P3) Compares: 2 Adds: 2 Deletes: 2 (6 8 5) CLIPS> (retract 5) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 2 Deletes: 1 Activity for CE 2 Compares: 2 Adds: 2 Deletes: 2 Activity for CE 3 Compares: 2 Adds: 2 Deletes: 2 Activity for CE 2 (P2 - P3) Compares: 2 Adds: 3 Deletes: 2 (6 9 7) CLIPS> (assert (a 3)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 3 Deletes: 1 Activity for CE 2 Compares: 2 Adds: 2 Deletes: 2 Activity for CE 3 Compares: 2 Adds: 2 Deletes: 2 Activity for CE 2 (P2 - P3) Compares: 2 Adds: 4 Deletes: 2 (6 11 7) CLIPS> (join-activity joins succinct) CE 1: 4 CE 2: 6 CE 3: 6 CE 2 (P2 - P3): 8 (6 11 7) CLIPS> (join-activity-reset) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 (P2 - P3) Compares: 0 Adds: 0 Deletes: 0 (0 0 0) CLIPS> (clear) CLIPS> (defrule joins (a) (not (and (b) (not (and (c) (d))))) =>) CLIPS> (assert (a)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 4 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 (P3 - P4) Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 (P2 - P4) Compares: 0 Adds: 1 Deletes: 0 (0 2 0) CLIPS> (join-activity-reset) CLIPS> (assert (b)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 4 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 (P3 - P4) Compares: 0 Adds: 1 Deletes: 0 Activity for CE 2 (P2 - P4) Compares: 1 Adds: 0 Deletes: 1 (2 2 1) CLIPS> (join-activity-reset) CLIPS> (assert (c)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 4 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 (P3 - P4) Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 (P2 - P4) Compares: 0 Adds: 0 Deletes: 0 (1 1 0) CLIPS> (join-activity-reset) CLIPS> (assert (d)) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 4 Compares: 1 Adds: 1 Deletes: 0 Activity for CE 3 (P3 - P4) Compares: 1 Adds: 0 Deletes: 1 Activity for CE 2 (P2 - P4) Compares: 0 Adds: 1 Deletes: 0 (2 2 1) CLIPS> (join-activity-reset) CLIPS> (retract 2) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 1 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 1 Activity for CE 4 Compares: 0 Adds: 0 Deletes: 1 Activity for CE 3 (P3 - P4) Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 (P2 - P4) Compares: 0 Adds: 0 Deletes: 0 (0 0 3) CLIPS> (join-activity-reset) CLIPS> (retract 1) CLIPS> (join-activity joins) Activity for CE 1 Compares: 0 Adds: 0 Deletes: 1 Activity for CE 2 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 4 Compares: 0 Adds: 0 Deletes: 0 Activity for CE 3 (P3 - P4) Compares: 0 Adds: 0 Deletes: 0 Activity for CE 2 (P2 - P4) Compares: 0 Adds: 0 Deletes: 1 (0 0 2) CLIPS> (clear) CLIPS> (defrule joins (a) (b) (c) =>) CLIPS> (matches joins) Matches for Pattern 1 None Matches for Pattern 2 None Matches for Pattern 3 None Partial matches for CEs 1 - 2 None Partial matches for CEs 1 - 3 None Activations None (0 0 0) CLIPS> (matches joins verbose) Matches for Pattern 1 None Matches for Pattern 2 None Matches for Pattern 3 None Partial matches for CEs 1 - 2 None Partial matches for CEs 1 - 3 None Activations None (0 0 0) CLIPS> (matches joins succinct) Pattern 1: 0 Pattern 2: 0 Pattern 3: 0 CEs 1 - 2: 0 CEs 1 - 3: 0 Activations: 0 (0 0 0) CLIPS> (matches joins terse) (0 0 0) CLIPS> (matches joins bogus) [ARGACCES2] Function 'matches' expected argument #2 to be of type symbol with value verbose, succinct, or terse. FALSE CLIPS> (matches bogus) [PRNTUTIL1] Unable to find defrule 'bogus'. FALSE CLIPS> (assert (c)) CLIPS> (matches joins) Matches for Pattern 1 None Matches for Pattern 2 None Matches for Pattern 3 f-1 Partial matches for CEs 1 - 2 None Partial matches for CEs 1 - 3 None Activations None (1 0 0) CLIPS> (assert (a)) CLIPS> (matches joins) Matches for Pattern 1 f-2 Matches for Pattern 2 None Matches for Pattern 3 f-1 Partial matches for CEs 1 - 2 None Partial matches for CEs 1 - 3 None Activations None (2 0 0) CLIPS> (assert (b)) CLIPS> (matches joins) Matches for Pattern 1 f-2 Matches for Pattern 2 f-3 Matches for Pattern 3 f-1 Partial matches for CEs 1 - 2 f-2,f-3 Partial matches for CEs 1 - 3 f-2,f-3,f-1 Activations f-2,f-3,f-1 (3 2 1) CLIPS> (clear) CLIPS> (defrule joins (a) (not (and (b) (c))) =>) CLIPS> (matches joins) Matches for Pattern 1 None Matches for Pattern 2 None Matches for Pattern 3 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 Activations None (0 0 0) CLIPS> (assert (a)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 None Matches for Pattern 3 None Partial matches for CEs 1 - 2 None Partial matches for CEs 1 - 3 None Partial matches for CEs 1 (P1) , 2 (P2 - P3) f-1,* Activations f-1,* (1 1 1) CLIPS> (assert (b)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-2 Matches for Pattern 3 None Partial matches for CEs 1 - 2 f-1,f-2 Partial matches for CEs 1 - 3 None Partial matches for CEs 1 (P1) , 2 (P2 - P3) f-1,* Activations f-1,* (2 2 1) CLIPS> (assert (c)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-2 Matches for Pattern 3 f-3 Partial matches for CEs 1 - 2 f-1,f-2 Partial matches for CEs 1 - 3 f-1,f-2,f-3 Partial matches for CEs 1 (P1) , 2 (P2 - P3) None Activations None (3 2 0) CLIPS> (clear) CLIPS> (defrule joins (a) (not (and (b) (not (and (c) (d))))) =>) CLIPS> (matches joins) 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 - 4 None Partial matches for CEs 1 (P1) - 2 (P2) , 3 (P3 - P4) None Partial matches for CEs 1 (P1) , 2 (P2 - P4) None Activations None (0 0 0) CLIPS> (assert (a)) CLIPS> (matches joins) Matches for Pattern 1 f-1 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 - 4 None Partial matches for CEs 1 (P1) - 2 (P2) , 3 (P3 - P4) None Partial matches for CEs 1 (P1) , 2 (P2 - P4) f-1,* Activations f-1,* (1 1 1) CLIPS> (assert (b)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-2 Matches for Pattern 3 None Matches for Pattern 4 None Partial matches for CEs 1 - 2 f-1,f-2 Partial matches for CEs 1 - 3 None Partial matches for CEs 1 - 4 None Partial matches for CEs 1 (P1) - 2 (P2) , 3 (P3 - P4) f-1,f-2,* Partial matches for CEs 1 (P1) , 2 (P2 - P4) None Activations None (2 2 0) CLIPS> (assert (c)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-2 Matches for Pattern 3 f-3 Matches for Pattern 4 None Partial matches for CEs 1 - 2 f-1,f-2 Partial matches for CEs 1 - 3 f-1,f-2,f-3 Partial matches for CEs 1 - 4 None Partial matches for CEs 1 (P1) - 2 (P2) , 3 (P3 - P4) f-1,f-2,* Partial matches for CEs 1 (P1) , 2 (P2 - P4) None Activations None (3 3 0) CLIPS> (assert (d)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-2 Matches for Pattern 3 f-3 Matches for Pattern 4 f-4 Partial matches for CEs 1 - 2 f-1,f-2 Partial matches for CEs 1 - 3 f-1,f-2,f-3 Partial matches for CEs 1 - 4 f-1,f-2,f-3,f-4 Partial matches for CEs 1 (P1) - 2 (P2) , 3 (P3 - P4) None Partial matches for CEs 1 (P1) , 2 (P2 - P4) f-1,* Activations f-1,* (4 4 1) CLIPS> (matches joins succinct) Pattern 1: 1 Pattern 2: 1 Pattern 3: 1 Pattern 4: 1 CEs 1 - 2: 1 CEs 1 - 3: 1 CEs 1 - 4: 1 CEs 1 (P1) - 2 (P2) , 3 (P3 - P4): 0 CEs 1 (P1) , 2 (P2 - P4): 1 Activations: 1 (4 4 1) CLIPS> (matches joins terse) (4 4 1) CLIPS> (clear) CLIPS> (defrule joins (a) (not (and (b) (c))) (d) (not (and (e) (f))) (g) =>) CLIPS> (matches joins) Matches for Pattern 1 None Matches for Pattern 2 None Matches for Pattern 3 None Matches for Pattern 4 None Matches for Pattern 5 None Matches for Pattern 6 None Matches for Pattern 7 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 Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 4 (P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 5 (P6) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) , 4 (P5 - P6) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) , 4 (P5 - P6) , 5 (P7) None Activations None (0 0 0) CLIPS> (assert (a) (d) (g)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 None Matches for Pattern 3 None Matches for Pattern 4 f-2 Matches for Pattern 5 None Matches for Pattern 6 None Matches for Pattern 7 f-3 Partial matches for CEs 1 - 2 None Partial matches for CEs 1 - 3 None Partial matches for CEs 1 (P1) , 2 (P2 - P3) f-1,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) f-1,*,f-2 Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 4 (P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 5 (P6) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) , 4 (P5 - P6) f-1,*,f-2,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) , 4 (P5 - P6) , 5 (P7) f-1,*,f-2,*,f-3 Activations f-1,*,f-2,*,f-3 (3 4 1) CLIPS> (assert (b) (f)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-4 Matches for Pattern 3 None Matches for Pattern 4 f-2 Matches for Pattern 5 None Matches for Pattern 6 f-5 Matches for Pattern 7 f-3 Partial matches for CEs 1 - 2 f-1,f-4 Partial matches for CEs 1 - 3 None Partial matches for CEs 1 (P1) , 2 (P2 - P3) f-1,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) f-1,*,f-2 Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 4 (P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 5 (P6) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) , 4 (P5 - P6) f-1,*,f-2,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) , 4 (P5 - P6) , 5 (P7) f-1,*,f-2,*,f-3 Activations f-1,*,f-2,*,f-3 (5 5 1) CLIPS> (assert (c) (e)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-4 Matches for Pattern 3 f-6 Matches for Pattern 4 f-2 Matches for Pattern 5 f-7 Matches for Pattern 6 f-5 Matches for Pattern 7 f-3 Partial matches for CEs 1 - 2 f-1,f-4 Partial matches for CEs 1 - 3 f-1,f-4,f-6 Partial matches for CEs 1 (P1) , 2 (P2 - P3) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 4 (P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 5 (P6) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) , 4 (P5 - P6) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) , 4 (P5 - P6) , 5 (P7) None Activations None (7 2 0) CLIPS> (clear) CLIPS> (defrule joins (a) (not (and (b) (c))) (not (and (d) (e))) (f) =>) CLIPS> (assert (a) (f)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 None Matches for Pattern 3 None Matches for Pattern 4 None Matches for Pattern 5 None Matches for Pattern 6 f-2 Partial matches for CEs 1 - 2 None Partial matches for CEs 1 - 3 None Partial matches for CEs 1 (P1) , 2 (P2 - P3) f-1,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 4 (P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4 - P5) f-1,*,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4 - P5) , 4 (P6) f-1,*,*,f-2 Activations f-1,*,*,f-2 (2 3 1) CLIPS> (assert (b) (e)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-3 Matches for Pattern 3 None Matches for Pattern 4 None Matches for Pattern 5 f-4 Matches for Pattern 6 f-2 Partial matches for CEs 1 - 2 f-1,f-3 Partial matches for CEs 1 - 3 None Partial matches for CEs 1 (P1) , 2 (P2 - P3) f-1,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 4 (P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4 - P5) f-1,*,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4 - P5) , 4 (P6) f-1,*,*,f-2 Activations f-1,*,*,f-2 (4 4 1) CLIPS> (assert (d)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-3 Matches for Pattern 3 None Matches for Pattern 4 f-5 Matches for Pattern 5 f-4 Matches for Pattern 6 f-2 Partial matches for CEs 1 - 2 f-1,f-3 Partial matches for CEs 1 - 3 None Partial matches for CEs 1 (P1) , 2 (P2 - P3) f-1,* Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) f-1,*,f-5 Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 4 (P5) f-1,*,f-5,f-4 Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4 - P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4 - P5) , 4 (P6) None Activations None (5 4 0) CLIPS> (assert (c)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-3 Matches for Pattern 3 f-6 Matches for Pattern 4 f-5 Matches for Pattern 5 f-4 Matches for Pattern 6 f-2 Partial matches for CEs 1 - 2 f-1,f-3 Partial matches for CEs 1 - 3 f-1,f-3,f-6 Partial matches for CEs 1 (P1) , 2 (P2 - P3) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4) - 4 (P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4 - P5) None Partial matches for CEs 1 (P1) , 2 (P2 - P3) , 3 (P4 - P5) , 4 (P6) None Activations None (6 2 0) CLIPS> (clear) CLIPS> (defrule joins (not (and (a) (b))) =>) CLIPS> (matches joins) Matches for Pattern 1 None Matches for Pattern 2 None Partial matches for CEs 1 - 2 None Partial matches for CEs 1 (P1 - P2) * Activations * (0 1 1) CLIPS> (assert (a)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 None Partial matches for CEs 1 - 2 None Partial matches for CEs 1 (P1 - P2) * Activations * (1 1 1) CLIPS> (assert (b)) CLIPS> (matches joins) Matches for Pattern 1 f-1 Matches for Pattern 2 f-2 Partial matches for CEs 1 - 2 f-1,f-2 Partial matches for CEs 1 (P1 - P2) None Activations None (2 1 0) CLIPS> (clear) CLIPS> (dribble-off)