prolog - 使用 DCG 解析变量

Question

我在使用 Prolog 的 DCG 表示法将大写字母开头的序列解析为变量时遇到问题。例如，如果我有字符串

f a X y Z X

以及解析该字符串的 DCG，是否有任何方法可以将每个大写字母解析为唯一的 Prolog 变量。例如，将 Y 解析为变量，将每个 X 解析为变量？预期的应用程序是构建仿函数

T = f(a,X,y,Z,X)

通过以语句结尾的 DCG 规则

{T =.. [Head|Args]}

Answer 1

也许您正在寻找term_to_atom/3:

?- term_to_atom(Term, 'f(a,X,y,Z,X)').
Term = f(a, _G304, y, _G306, _G304).