Generate a new symbol.

Predicates to create new atoms based on a prefix Atom.

The predicates use a counter, stored as a dynamic predicate, to construct the atom's suffix.