Anfonwch hwn fel neges destun: Initial limit Datalog: a new extensible class of decidable constrained Horn clauses