increment(Label):-
	(retract(counter(Label,X))->
		(NewX is X+1);
		(NewX is 1)
	),assert(counter(Label,NewX)).