; Sorteaza o multime de vectori de numere
(deffacts grup1
 (numere 6 2 7 4 2 7 8)
 (numere 3 2 7 4 2 7 8)
 (numere 3 38 5 4 20 7 8)
 (numere 3 11 7 4 2 15 8)
 (numere 1 2 7 43 2 7 12)
)

(defrule bubble-sort
 ?idx <- (numere $?beg ?x ?y&:(> ?x ?y) $?rest)
 =>
 (retract ?idx)
 (assert (numere $?beg ?y ?x $?rest))
)