Stratified Negation in Limit Datalog Programs