(deffacts copii (copil ion b 90 blond 4) (copil mihai b 92 blond 5) (copil maria f 98 blond 4) (copil mircea b 96 saten 6) (copil vasile b 99 brunet 6) (copil tudor b 86 brunet 3) (copil ghita b 90 brunet 5) (copil george b 99 brunet 4) (copil silvia f 88 blond 3) (copil silviu b 93 brunet 3) (copil mioara f 80 roscat 3) (selectie) ) ; toti baietii bruneti cu aceeasi varsta ca a unor fetite blonde ; dar mai mari ca inaltime (defrule sel4 (copil ?n1 f ?h1 blond ?v) (copil ?n2 b ?h2&:(> ?h2 ?h1) brunet ?v) ?idxs <- (selectie $?sel&:(not (member$ ?n2 $?sel))) => (retract ?idxs) (assert (selectie $?sel ?n2)) )