Text this: On the Indiscernibility of Individuals in Logic Programming