















ebruary 

%   Purpose: create new atoms
%   Needs  : append/3.

:- public
	cgensym/2,
	concat/3,
	gensym/2,
	reset_gensym/0,
	reset_gensym/1.

:- mode
	cgensym(+, ?),
	concat(+, +, ?),
	gensym(+, ?),
	reset_gensym(+).


%   gensym(Prefix, V)
%   binds V to a new atom whose name begins with Prefix and ends with a
%   number.  E.g. gensym(a,X), gensym(a,Y), gensym(a,Z) might bind
%   X to a1, Y to a2, Z to a3.  It only succeeds once per ca


















































































































































































































, concat(gs, 46, gs

%   concat(04, 05, 405)*??*

concat(N1, N













































































































