rt_nspc(BaseName,Number,NewName) in: BaseName,Number out: NewName Generate a new symbol NewName which is formed by a normal simbol, followed by a number. Es. f:-rt_nspc(kk,67,X),write(X). The output will be: kk67