Գրեք սա: On the Indiscernibility of Individuals in Logic Programming