object
Predicates for generating unique atoms. Object protocol based on the "gensym" module of SWI-Prolog.
Paulo Moura
1.01
2011/11/9
static, context_switching_calls
(no dependencies on other files)
Resets the generator counter for all bases.
static, synchronized
reset_gensym – one
Resets the generator counter for a given base.
static, synchronized
reset_gensym(Base)
reset_gensym(+atom) – one
Returns a new unique atom with a given base (prefix).
static, synchronized
gensym(Base,Unique)
gensym(+atom,-atom) – one
(none)
Table of generator bases and respective counters.
dynamic
base_(Base,Counter)
base_(?atom,?integer) – zero_or_more