How to write predicate that checks whether for two same X values there are different Y values?

Question

I\'m trying to write a predicate in Prolog that should work with a set of facts like these:

value(a,b)
value(d,f)
value(p,k)

Where the first