Prolog谓词contains_at_least_one_list同时返回true和false问题排查

问题现象 #

执行如下查询时，谓词同时返回true和false：

contains_at_least_one_list([bear_red, fish_orange], [red, orange])

根因分析 #

问题的核心是Prolog的回溯机制和现有谓词实现缺少截断导致的多余回溯：

• 你当前的count谓词是确定性实现，对于给定的列表和测试条件只会返回唯一的计数结果
• 当查询第一次匹配所有条件返回true后，触发回溯时（比如控制台按分号索要更多解），contains_at_least_one没有其他可选解，最终会返回false，就出现了同时返回两个结果的现象
• 额外补充一个无关本次测试的代码笔误：你定义的颜色事实里blue(jelly_bean_fish)不存在对应的糖果实例，属于输入错误。

修复方案 #

方案1：优化contains_at_least_one实现（推荐） #

不需要遍历全列表计数，找到第一个符合条件的元素就直接返回，避免不必要的遍历和回溯：

% 找到第一个匹配元素就截断返回
contains_at_least_one([X|_], Test) :- call(Test, X), !.
contains_at_least_one([_|Tail], Test) :- contains_at_least_one(Tail, Test).

方案2：给现有谓词加截断 #

如果要保留计数逻辑，可以在谓词中添加截断符!，阻止多余回溯：

% 给contains_at_least_one加截断
contains_at_least_one(CANDYS, TEST) :-
    count(CANDYS, TEST, NB),    
    is_positive(NB),
    !.

% 也可以选择给contains_at_least_one_list加截断
contains_at_least_one_list(_, []) :- !, true.
contains_at_least_one_list(CANDYS, [TEST|TEST_TAIL]) :-
    contains_at_least_one(CANDYS, TEST),
    !,
    contains_at_least_one_list(CANDYS, TEST_TAIL).

补充规范建议 #

对于这类约束满足问题，可以直接用Prolog的CLP(FD)库来实现，代码可读性和求解效率都会更高，你可以参考SWI-Prolog官方文档中CLP(FD)的相关教程。

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