Did you know ... Search Documentation:
Predicate singleton/2
 singleton(@Var, +TB) is semidet[private]
True when Var is a singleton.