この資料をSMS送信: On the Indiscernibility of Individuals in Logic Programming