[ted_dunning]

The big deal about Datalog is that it is equivalent to SQL-with-recursion. Thus, it can compile to database queries.