Text this: The Power of Negation in Higher-Order Datalog.