(deffacts dane (lista -22 1 -27 -2 4 7 -93 16 24 -11 13 7 64 33 -7) ) (defrule sort ?i<-(lista $?przed ?x ?y $?po) (test (< ?y ?x)) => (retract ?i) (assert (lista $?przed ?y ?x $?po)) )