Seol mar théacs é seo: Stratified negation in datalog with metric temporal operators