Prolog硬币找零程序报'Arguments are not sufficiently instantiated'错误求助

问题描述 #

需要实现Prolog程序计算支付指定金额所需不同类型硬币的数量。原代码在不带label/1时能输出部分约束结果，但添加label/1枚举具体值时，报错Arguments are not sufficiently instantiated。单硬币场景可正常运行，多硬币场景存在未绑定变量问题。

原代码 #

知识库谓词 #

payment(0, _).
payment(Total, [coin(AmountNeeded,ValueOfCoin,AmountAvailable)|Tail]) :-
  AmountNeeded in 0..AmountAvailable,
  Total #= SubTotal + ValueOfCoin*AmountNeeded,
  payment(SubTotal, Tail).

测试查询 #

% 不带label的查询，返回部分约束
payment(25, [coin(Ones,1,11),coin(Fives,5,4),coin(Tens,10,3),coin(Twenties,20,2)]).

返回结果：

Fives in 3..4,
_3198#=5*Fives,
_3198 in 15..20,
Ones+_3198#=25,
Ones in 5..10

报错查询 #

% 添加label后报错
payment(25, [coin(Ones,1,11),coin(Fives,5,4),coin(Tens,10,3),coin(Twenties,20,2)]), 
label([Ones, Fives, Tens, Twenties]).

报错信息：Arguments are not sufficiently instantiated

问题分析 #

原代码的base case payment(0, _)存在逻辑缺陷：当剩余金额为0时，直接匹配任意硬币列表，跳过了对剩余硬币的约束处理。这会导致未处理的硬币数量变量（如Tens、Twenties）仅被声明取值范围，但未与金额等式绑定，最终调用label/1时因变量未充分实例化报错。

正确逻辑应为：必须处理所有硬币类型，且所有硬币处理完毕后，剩余金额必须为0，确保所有硬币数量变量都被纳入金额约束等式。

修复方案 #

修改base case，仅允许硬币列表为空且剩余金额为0时成立，强制递归处理所有硬币类型：

payment(0, []).  % 新base case：无硬币时，金额必须为0
payment(Total, [coin(AmountNeeded, ValueOfCoin, AmountAvailable)|Tail]) :-
    AmountNeeded in 0..AmountAvailable,
    Total #= SubTotal + ValueOfCoin * AmountNeeded,
    payment(SubTotal, Tail).

验证结果 #

执行修复后的查询，将枚举所有符合条件的硬币数量组合，示例解包括：

• Ones = 5, Fives = 4, Tens = 0, Twenties = 0
• Ones = 0, Fives = 1, Tens = 0, Twenties = 1
• Ones = 10, Fives = 1, Tens = 1, Twenties = 0

所有变量均被充分约束，label/1可正常枚举结果，无报错。

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