[`gensym`](http://www.swi-prolog.org/pldoc/man?section=gensym) should be used for generating fresh lambda identifiers.
gensymshould be used for generating fresh lambda identifiers.