Notice that the anonymous variable stays unground as every new occurrence is really a new variable:

?- _=12,ground(_).
false.

whereas a "don't care variable" can become ground

?- _X=12,ground(_X).
_X = 12.