この資料をSMS送信: Initial limit Datalog: a new extensible class of decidable constrained Horn clauses