(deffacts dane
(zeton)
(inne dane)
(kolejne dane)
(cokolwiek)
)

(defrule petla
?i<-(zeton)
=>
(retract ?i)
(assert (zeton)))