Prolog基础规则问题：条件分支逻辑不符合预期排查

问题重现 #

你的自然语言逻辑是：

if E < W then
if C < Max then print('increment C')
else print('C unchanging')
if E > W then
if C > Min then print('decrement C')
else print('error')

你编写的SWI-Prolog代码：

tddv_worst(_). 
tddv_best(_). 
tddv_courant(_). 
tddv_estime(_). 
etendue_gisement_courant(_). 
etendue_gisement_min(_). 
etendue_gisement_max(_). 

compromis_1(tddv_estime(E),tddv_worst(W),etendue_gisement_courant(C),etendue_gisement_min(Min),etendue_gisement_max(Max)) :- 
    (E < W , C < Max) -> writeln('Increment C') ; writeln('C unchanging') ; (E > W , C > Min) -> writeln('Decrement C') ; writeln('Error').

测试输入：

compromis_1(tddv_estime(19),tddv_worst(16),etendue_gisement_courant(2),etendue_gisement_min(1),etendue_gisement_max(8)).

预期输出是 Decrement C，但实际输出是 C unchanging。

错误原因 #

问题出在Prolog的->（if-then）和;（else/逻辑或）的运算符优先级与分支结构上：

• 在Prolog中，->的优先级高于;，所以你的代码实际被解析为：

  ( (E < W , C < Max) -> writeln('Increment C') ; writeln('C unchanging') ) 
  ; 
  ( (E > W , C > Min) -> writeln('Decrement C') ; writeln('Error') )
  

• 当你输入的E=19 > W=16时，第一个分支的条件E < W不成立，所以会执行第一个分支的else部分：writeln('C unchanging')，此时整个子句已经成功匹配，Prolog不会再去判断后面的E > W分支了。

简单来说，你的代码把两个独立的if逻辑用;并列了，而不是嵌套成正确的多分支判断。

修正后的代码 #

我们需要按照自然语言逻辑的嵌套结构来组织Prolog的if-then-else：

tddv_worst(_). 
tddv_best(_). 
tddv_courant(_). 
tddv_estime(_). 
etendue_gisement_courant(_). 
etendue_gisement_min(_). 
etendue_gisement_max(_). 

compromis_1(tddv_estime(E), tddv_worst(W), etendue_gisement_courant(C), etendue_gisement_min(Min), etendue_gisement_max(Max)) :-
    % 先判断E < W的情况
    (E < W ->
        % 嵌套判断C < Max
        (C < Max -> writeln('Increment C') ; writeln('C unchanging'))
    % E < W不成立时，判断E > W的情况
    ; E > W ->
        % 嵌套判断C > Min
        (C > Min -> writeln('Decrement C') ; writeln('Error'))
    % 处理E = W的边界情况（原逻辑未覆盖，补充增强健壮性）
    ;
        writeln('E equals W, no action needed')
    ).

测试验证 #

运行你提供的测试输入：

compromis_1(tddv_estime(19),tddv_worst(16),etendue_gisement_courant(2),etendue_gisement_min(1),etendue_gisement_max(8)).

此时E=19 > W=16，且C=2 > Min=1，代码会输出Decrement C，符合你的预期。

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