• Predicates to create new atoms based on the prefix Atom

• Predicates to create new atoms based on the prefix Atom

They use a counter, stored as a dynamic predicate, to construct the atom's suffix