@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <https://eyereasoner.github.io/eye/reasoning#>.

{("atom_codes" "ingirumimusnocteetconsumimurigni" ?A) e:derive true. (?A) :palindrome true} => {"ingirumimusnocteetconsumimurigni" a :Palindrome}.
