prolog - 这个 prolog 优化解决方案有什么问题？

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 中正常工作。

关于prolog - 这个 prolog 优化解决方案有什么问题？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/35744705/