为何与教材代码一致的Prolog谓词aless/2无法正常工作？

核心问题 #

你遇到的问题源于教材代码与SWI-Prolog对name/2谓词的行为兼容差异，以及递归逻辑的设计问题：

• 教材中的aless/2实现递归时，将字符列表传递给了自身，但aless/2的子句依赖name/2处理参数，而SWI-Prolog中name/2要求第一个参数必须是原子（或可绑定为原子的变量）。
• 当调用aless(ab, ac)时：
  1. 第一个子句中，name(ab, [97,98])、name(ac, [97,99])，97 < 97不成立，进入第二个子句。
  2. 第二个子句提取出字符列表Xs = [98]、Ys = [99]，递归调用aless([98], [99])。
  3. 此时递归调用的aless/2子句尝试执行name([98], [X1|Xs1])，但[98]是列表类型，name/2无法将列表与原子类型统一，导致目标失败，最终整个查询返回false。

而aless(a, b)能成功，是因为它直接匹配第一个子句：name(a, [97])、name(b, [98])，97 < 98成立，无需进入递归。

修正方案 #

将aless/2拆分为处理原子的入口谓词和处理字符列表的辅助谓词，避免递归时传递列表给依赖原子的逻辑：

% 入口谓词：将原子转换为字符码列表，调用辅助谓词
aless(Atom1, Atom2) :-
    atom_codes(Atom1, Codes1),
    atom_codes(Atom2, Codes2),
    aless_codes(Codes1, Codes2).

% 辅助谓词：直接比较字符码列表
aless_codes([C1|Rest1], [C2|Rest2]) :-
    C1 < C2.
aless_codes([C|Rest1], [C|Rest2]) :-
    aless_codes(Rest1, Rest2).

测试验证：

?- aless(a, b).
true.

?- aless(ab, ac).
true.

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