Prolog

Total element equality

?- maplist(=(E), [a, a, a]).
E = a.

Unnamed variable

?- maplist(=(_), [a, a, a]).
true.

With strings

?- maplist(=(_), ["a", "a", "a"]).
true.