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

(defrule member
(szukamy ?x)
(lista $?przed ?x $?po)
=>
(printout t $?przed " " ?x " " $?po crlf)
)