(deffacts dane
(slowo k a j a k)
;(slowo k o b y l a  m a  m a l y  b o k)
)

(defrule symetria
?i<-(slowo ?x $?srodek ?x)
=>
(retract ?i)
(assert (slowo $?srodek))
)

(defrule asymetria
(slowo ?x $? ~?x)
=>
(printout t "To nie jest palindrom!!!" crlf)
)

(defrule koniec-parzysty
(slowo)
=>
(printout t "Palindrom parzystej dlugosci!!!" crlf)
)

(defrule koniec-nieparzysty
(slowo ?)
=>
(printout t "Palindrom nieparzystej dlugosci!!!" crlf)
)