इसका टेक्स्ट मैसेज भेजे: Initial limit Datalog: a new extensible class of decidable constrained Horn clauses