如何建立满足Prolog谓词的原子的唯一性？

Question

我想在知识库中代表[ {'age': '25', 'names': ['john', 'mike', 'charles']}, {'age': '30', 'names': ['cindy', 'melanie']} ] 只有foo(X)的一个值。基本上，X暗示foo(X), foo(Y)的陈述。但Prolog坚持反向链接，或者＆＃34;暗示＆＃34;关系。我不知道如何编码。