發送短信: On the Indiscernibility of Individuals in Logic Programming