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 Прологе.
(см. Http://xkcd.com/287/) --- ... и 'lib (ic)' - это что, библиотека для целых ограничений? –
'lib (ic)' означает интервальные ограничения. Он реализует ограничения над целыми числами и действиями (представленными как интервалы с плавающей запятой). Я исправлю свой ответ. – jschimpf
спасибо за разъяснение! –
ли работать в SWI-Пролог:
?- use_module(library(clpfd)).
?- [user].
solve(Amounts) :-
Total = 1505,
Prices = [215,275,335,355,420,580],
length(Prices, N),
length(Amounts, N),
min_list(Prices, MinPrice),
MaxAmount is Total//MinPrice,
Amounts ins 0..MaxAmount,
scalar_product(Prices, Amounts, #=, Total),
label(Amounts).
^D
?- solve(X).
X = [1, 0, 0, 2, 0, 1] ;
X = [7, 0, 0, 0, 0, 0].
Но я думаю, его не проблему поиска оптимизации,
целевая функция отсутствует.
Bye
- 1. Алгоритм - Что не так с этим решением решета Erastothenes
- 2. Что не так с этим решением переполнения буфера в c?
- 3. Что не так с моим решением?
- 4. Что не так с этим?
- 5. Что не так с этим для цикла?
- 6. Что не так с этим моим решением для судьи PKU ID 1003?
- 7. Что не так с этим С броском
- 8. Что не так с этим маршрутом?
- 9. Что не так с этим запросом linq?
- 10. Что не так с этим кодом?
- 11. Что не так с этим sql?
- 12. PCA: Что не так с этим алгоритмом?
- 13. Что-то не так с этим JavaScript
- 14. Что не так с этим оператором switch?
- 15. Что не так с этим алгоритмом?
- 16. Что не так с этим методом?
- 17. Что не так с этим кодом C
- 18. , что случилось с этим решением для Candy I (SPOJ)
- 19. Что не так с этим синтаксисом Java?
- 20. Что не так с этим кодом javascript?
- 21. Что не так с этим кодом Verilog?
- 22. Что не так с этим регулярным выражением?
- 23. Что не так с этим PHP-скриптом?
- 24. Что не так с этим триггером?
- 25. Что не так с этим кодом RadCalendar?
- 26. Что не так с этим SQL-запросом
- 27. Что не так с этим использованием scanf?
- 28. Что не так с этим синтаксисом?
- 29. Что не так с этим сценарием bash?
- 30. Что не так с этим маршрутом MVC?
Это не SWI-Prolog. Предположительно это [tag: eclipse-prolog] – false
Почему вы говорите, что с этим что-то не так? – lurker