Seol mar théacs é seo: Initial limit Datalog: a new extensible class of decidable constrained Horn clauses