如何在Prolog中将大写字母表示的原子视为字面量而非变量？

• 修改Prolog解析标志（适配SWI-Prolog等支持的实现）
  部分Prolog实现提供了语法解析配置项，以SWI-Prolog为例，设置read_uppercase_variables标志为false，就能让大写开头的标识符被解析为原子而非变量：

  ?- set_prolog_flag(read_uppercase_variables, false).
  true.
  
  ?- [T,C,B,D,R,B,C,T] = [t,c,b,d,r,b,c,t].
  T = t,
  C = c,
  B = b,
  D = d,
  R = r.
  

  注意：该特性并非所有Prolog实现都支持，需根据你使用的版本确认兼容性。

• 自定义术语扩展规则
  若你的Prolog支持term_expansion/2钩子，可以编写自定义规则，将读取到的大写变量自动转换为同名原子：

  term_expansion(Term, ExpandedTerm) :-
      traverse_term(Term, ExpandedTerm).
  
  traverse_term(Var, Atom) :-
      var(Var),
      atom_chars(Var, [First|_]),
      code_type(First, upper),
      atom_string(Var, Str),
      atom_string(Atom, Str), !.
  traverse_term(Term, Term) :-
      var(Term), !.
  traverse_term(Compound, ExpandedCompound) :-
      compound_name_arguments(Compound, Name, Args),
      maplist(traverse_term, Args, ExpandedArgs),
      compound_name_arguments(ExpandedCompound, Name, ExpandedArgs).
  

  加载该规则后，读取你的Forsyth记法列表时，大写开头的符号会被自动转为原子。

• 退而求其次的简洁写法
  若上述方法都不可行，可使用反引号包裹原子（如\T``），虽然不是完全无引号，但输入形式更接近原始需求，且能保留大小写。

需要明确的是：Prolog的核心语法规范中，大写开头的符号默认就是变量，若你的Prolog实现不支持修改解析规则，完全无引号的实现方式可能无法达成。

内容的提问来源于stack exchange，提问作者Vitor Alves Pereira