Added a new library object, "gensym", defining predicates for generating unique atoms (object protocol based on the "gensym" module of SWI-Prolog).