この資料をSMS送信: Datalog with First-Class Facts