[trurl]

I don't see any mention of recursion. If it doesn't support recursion it is not really accurate to call it Datalog.

To clarify, if you don't have recursion, you've just got a slightly different skin over relational algebra.