Prolog - 生成独特的符号

Question

在Prolog中，我知道gensym谓词：

gensym(g, X).
X = g1.
gensym(g, X).
X = g2.
gensym(g, X).
X = g3.

但是文档具体说： “请注意，这并不能保证原子在系统中是唯一的。”

我正在寻找一个完全相同的谓词，所以如果我对一个新符号进行一般化，那么它将与以前在同一个程序中使用的符号不匹配。