Text this: An empirical study of negation in datalog programs