A.17 library(gensym): Generate unique identifiers
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(gensym)).(can be autoloaded)
Sourcegensym(+Base, -Unique)
Generate a unique atom from base Base and unify it with Unique. Base should be an atom. The first call will return <base>1 , the next <base>2 , etc. Note that this is no guarantee that the atom is unique in the system.