(deffacts dane
(lista a b c d)
(lista a b c)
(lista a b)
(lista a)
(lista)
(lista d c b a)
)

(defrule a-na-poczatku-listy
(lista a $?r)
=>
(printout t "Najpierw 'a', zas potem: " $?r crlf)
)