CLPFD域声明OR条件实现：无需额外谓词p的Project Euler 1解法

实现方案 #

完全可以不引入额外谓词p实现需求，共有两种常用可行方案：

方案1：使用CLP(FD)约束析取运算符

用CLP(FD)库内置的约束析取运算符#\/替代Prolog原生逻辑或;，从根源上避免顶层产生回溯分支，约束层面直接合并两个判定条件：

:- use_module(library(clpfd)).

euler_001(A) :-
  B in 0..1000,
  (B mod 3 #= 0) #\/ (B mod 5 #= 0),
  aggregate_all(sum(B), indomain(B), A).

运行后只会返回一次汇总后的正确结果，不会拆分求和。

方案2：把所有逻辑封装到聚合目标内部

如果仍然想用;写析取逻辑，只需要把变量范围、判定条件、枚举逻辑全部放到aggregate_all的第二个参数（聚合目标集合）内部，让;产生的回溯被聚合操作全部捕获，不会触发多次聚合：

:- use_module(library(clpfd)).

euler_001(A) :-
  aggregate_all(sum(B), (
    B in 0..1000,
    (B mod 3 #= 0 ; B mod 5 #= 0),
    indomain(B)
  ), A).

原代码问题原因 #

你之前的写法中;处于aggregate_all的外层执行，相当于先固定第一个判定分支（被3整除）执行一次求和，再回溯到第二个判定分支（被5整除）再执行一次求和，自然会返回两个独立的求和结果。

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