使用Eclipse与SWI-Prolog求解密码算术题结果错误，求排查

首先，我们先明确dos + dos + tres = siete对应的算术结构：

D O S
+ D O S
+ T R E S
-------
S I E T E

这是一个五位数结果，意味着三个数的总和必须≥10000，同时首位字母（S、T、D）不能为0，所有字母对应唯一的0-9数字。你得到的结果中S=3显然不符合逻辑——因为三个数的最大总和是999+999+9999=11997，结果的万位只能是1，所以S必须等于1，这说明你的代码存在几个核心问题：

可能的错误点及修正方案 #

1. 未正确加载CLP(FD)约束库 #

SWI-Prolog中求解数值约束问题必须依赖clpfd库，如果没有加载，你的约束条件（比如数字范围、唯一性、等式）无法被正确处理。
解决方法：在代码开头添加：

:- use_module(library(clpfd)).

2. 缺少首位字母非0的约束 #

密码算术题中，所有单词的首位字母不能为0：

• S是结果siete的首位，不能为0
• T是tres的首位，不能为0
• D是dos的首位，不能为0
  你的代码大概率没加这些约束，导致出现无效的数字分配。

3. 字母唯一性约束缺失 #

所有字母必须对应不同的数字，你需要用all_different/1谓词确保这一点，否则会出现重复数字的错误解。

4. 等式建模错误 #

你可能写错了单词对应的数值计算逻辑，比如把五位数的siete错误计算成了四位数。正确的数值转换应该是：

• dos = D*100 + O*10 + S
• tres = T*1000 + R*100 + E*10 + S
• siete = S*10000 + I*1000 + E*100 + T*10 + E

修正后的完整代码 #

:- use_module(library(clpfd)).

criptograma(L) :-
    % 定义每个字母的数字范围
    S in 0..9, E in 0..9, O in 0..9, T in 0..9, D in 0..9, R in 0..9, I in 0..9,
    % 首位字母不能为0
    S #\= 0, T #\= 0, D #\= 0,
    % 所有数字互不重复
    all_different([S,E,O,T,D,R,I]),
    % 转换为数值并建立等式
    Dos #= D*100 + O*10 + S,
    Tres #= T*1000 + R*100 + E*10 + S,
    Siete #= S*10000 + I*1000 + E*100 + T*10 + E,
    Dos + Dos + Tres #= Siete,
    % 整理结果格式
    L = [[s,S],[e,E],[o,O],[t,T],[d,D],[r,R],[i,I]],
    % 枚举求解
    label([S,E,O,T,D,R,I]).

运行这个代码后，你会得到正确的唯一解：

L = [[s, 1], [e, 3], [o, 8], [t, 9], [d, 5], [r, 2], [i, 0]]

验证一下：581 + 581 + 9231 = 10393，完全符合siete（10393）的字母对应关系。

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