在prolog变量中转换原子

Question

如果我有一个原子列表，是否有可能在prolog变量列表中进行转换？如果有，任何人都可以举个例子吗？

例：

?- atom_to_variable([x1, x2, x3], V). V = [X1, X2, X3].