Hi, I'm composing queries in datalog and I have algebra of rules, but I need identity for that algebra. How would I define rule that always yields true in idiomatic way?

Something like '[[ (id ?e) [_ _ _] ]]

[(constantly true)] ?