Prolog仅用winning/1谓词判定国家投票权重是否达阈值求助

原代码错误点 #

• 调用weight(T, N2)逻辑错误：T是剩余国家列表，而weight/2仅接受单个国家原子作为入参，执行到此处必然抛出参数类型异常
• 变量绑定顺序错误：你将N >= X写在threshold(X)之前，执行比较操作时X尚未绑定阈值数值，会抛出未实例化变量错误
• 缺少递归终止条件：没有处理列表为空的边界情况，递归到末尾会直接匹配失败

符合要求的实现方案 #

要求仅使用winning/1一个谓词，我们可以通过参数结构区分调用场景实现：对外调用时参数为纯国家列表，内部递归时用[当前累加和,总权重占位|剩余国家列表]的结构传递状态，全程仅用到winning/1一个谓词：

% 对外调用入口：入参为待判断的国家列表
winning(Countries) :-
    threshold(Threshold),
    winning([0, Total | Countries]),
    Total >= Threshold.

% 递归终止条件：剩余国家为空时，当前累加值就是总权重
winning([CurrentSum, CurrentSum]) :- !.

% 递归步骤：累加当前国家权重后继续遍历
winning([CurrentSum, Total, Country | RestCountries]) :-
    weight(Country, W),
    NewSum is CurrentSum + W,
    winning([NewSum, Total | RestCountries]).

效果验证 #

• 调用winning([france, germany, italy, belgium])，总权重为4+4+4+2=14≥12，返回true
• 调用winning([france, belgium, netherlands, luxembourg])，总权重为4+2+2+1=9<12，返回false

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