Prolog未知类型转字符串：如何获取配对首元素并得到目标值

首先明确问题根源：在Prolog语法中，大写字母开头的标识符是变量，你输入里的C是一个未绑定的变量，不是代表字符"C"的原子或字符串。当你执行write(Index)时，因为Index绑定的是这个未绑定变量，所以输出的是变量的内部标识（比如_20668），而非你期望的"C"。你尝试的atom_string/2没用，是因为该谓词无法将未绑定变量转换为原子/字符串，变量本身不携带"名称"之外的有效内容。

如果不能修改输入，可以借助特定Prolog实现的内置功能来获取变量名（以SWI-Prolog为例，它提供了非标准的var_name/2谓词），修改代码如下：

test([]).
test([Index-X|T]) :- 
    test(T),
    get_pairs_value(X),
    % 判断Index是否为变量，是则获取变量名，否则直接使用原值
    (var(Index) -> var_name(Index, IndexName) ; IndexName = Index),
    write('Index : '), write(IndexName), nl.

执行修改后的代码，输入test([C-['Al'-2,'O'-3]])就能输出Index : C。

注意：var_name/2是SWI-Prolog的扩展功能，其他Prolog实现可能需要使用对应的变量名获取谓词。

内容的提问来源于stack exchange，提问作者cece