Datalog.Query features negated literals in queries