On the Indiscernibility of Individuals in Logic Programming