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

(defrule sublist
(podlista $?sub)
(lista $?przed $?sub $?po)
=>
(printout t $?przed " " $?sub " " $?po crlf)
)