; Sorteaza un vector de numere
(deffacts grup1
 (numere 3 2 7 4 2 7 8)
)

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