SWI-Prolog中read_line_to_codes异常：读取用户名转大写故障

你的Prolog程序出现两个关键问题，导致它没有正确读取用户输入就执行后续逻辑：

1. capitalize谓词的递归逻辑错误 #

你写的capitalize第二个子句只处理了第一个字符的大写转换，剩余的字符完全没有递归处理——因为你把第二个参数的尾直接写成了原列表的T，而不是递归转换后的结果。这样一来，只有第一个字符会被转大写，剩下的字符原样保留；更严重的是，如果输入为空（比如输入缓冲里残留了换行），capitalize([],[])会直接匹配成功，触发->右边的逻辑，导致程序看起来没等你输入就结束了。

正确的capitalize应该递归处理每个字符：

capitalize([], []).
capitalize([H1|T1], [H2|T2]) :-
    code_type(H2, to_upper(H1)),
    capitalize(T1, T2).

2. 输出缓冲与截断符->的问题 #

• 部分Prolog环境（比如SWI-Prolog）会缓冲输出内容，write('Hi whats ur name?')之后的提示可能没有立即显示给你，导致你误以为程序没等待输入。解决这个问题需要调用flush_output/0强制刷新输出缓冲区，确保提示能立刻显示。
• 你使用的->是截断符，它会阻止回溯，但如果read_line_to_codes读取到空输入（比如之前操作留下的缓冲残留），capitalize会直接匹配空列表的子句，跳过用户输入步骤就执行后续逻辑。这里可以去掉->，直接用逗号连接谓词，让程序正常处理输入流程。

修正后的完整代码 #

notice :-
    write('Hi what\'s your name?'),
    nl,
    flush_output,  % 强制刷新输出，确保用户看到提示
    read_line_to_codes(user_input, Codes1),
    capitalize(Codes1, Codes2),
    atom_codes(Name, Codes2),
    write(Name).

capitalize([], []).
capitalize([H1|T1], [H2|T2]) :-
    code_type(H2, to_upper(H1)),
    capitalize(T1, T2).

额外说明 #

如果在SWI-Prolog中运行，read_line_to_codes可以省略user_input参数，直接写成read_line_to_codes(Codes1)，因为user_input是默认输入流。测试时如果还是遇到异常，可以先调用flush_input/0清空输入缓冲，避免残留内容干扰。

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