Prolog编码程序单词切分谓词返回false问题排查

切分逻辑的问题定位与修复方案 #

程序始终返回false的核心原因集中在几处常见的代码细节，按出现概率从高到低梳理：

• 递归子句的模式匹配漏写尾部变量
  正确的递归子句结构需要匹配长度可变的列表，也就是第一个参数写作[X1,X2,X3|L]。如果实际写代码时漏了尾部的|L，写成固定长度匹配的[X1,X2,X3]，这个模式就只能识别恰好3个元素的列表。对于friends对应的7个字符的长列表，会直接匹配失败，而下方的基例仅能匹配长度<=2的短列表，没有任何子句能命中长列表输入，程序就会直接返回false。
• 输入格式不匹配
  Prolog的列表解构语法仅能识别列表结构，如果测试时直接把单词作为原子传入（比如couper(friends, Res)），所有子句的第一个参数都是列表解构写法，无法和原子类型完成匹配，自然会返回false。正确的测试入参需要把单词拆成独立字符组成的列表，比如[f,r,i,e,n,d,s]。
• 基例的模式匹配写错
  原代码用三个独立基例分别匹配长度2、空列表、长度1的边界场景，如果写代码时不小心把长度2的匹配模式多写一个元素（比如变成匹配长度3的列表），递归流程走到长度2的终止节点时就会找不到可匹配的子句，触发false返回。

简化后可稳定运行的代码 #

去掉冗余的精确模式匹配，统一处理长度不足3的边界场景，减少出错点：

% 递归逻辑：列表长度>=3时，取前3个字符组成一个分段，从第二个字符开始递归切分
couper([X1,X2,X3|Rest], [[X1,X2,X3]|Res]) :-
    couper([X2,X3|Rest], Res).

% 边界逻辑：只要递归子句匹配失败（说明列表长度<3），直接返回空列表终止切分
couper(_, []).

用上述代码测试couper([f,r,i,e,n,d,s], Res)，得到的输出为[[f,r,i],[r,i,e],[i,e,n],[e,n,d],[n,d,s]]，和预期的切分结构完全一致。如果需要输出大写形式的分段，仅需要把入参字符替换为大写即可，核心逻辑无需改动。

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