solve(Amounts) :-
Total = 1505,
Prices = [215, 275, 335, 355, 420, 580],
length(Prices, N),
length(Amounts, N),
Amounts :: 0..Total//min(Prices),
Amounts * Prices #= Total,
labeling(Amounts).
最佳答案
没有错。这是来自 http://eclipseclp.org/examples/xkcd287.ecl.txt 的示例, 如果你没有省略这一行
:- lib(ic).
加载 interval constraint solver , 它会在 ECLiPSe 中正常工作序言。
关于prolog - 这个序言优化解决方案有什么问题?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35744705/