Я недавно начал sicstus prolog и мне нужно решить эту домашнюю работу с помощью CLP (программирование логики ограничений), пожалуйста, помогите мне понять проблему, что я должен искать и что я делаю не так. Так,
Строительная компания:
- Чтобы получить сырье, БК должен арендовать грузовик, который перевозит 25 тонн сырья за 6 дней и стоит 80 долларов в день.
- Чтобы построить над землей необходимо 15 тонн сырья, это займет 10 дней и стоит 150 долларов за этаж.
- Для строительства под землей требуется 20 тонн сырья, это занимает 23 дня (из-за земляных работ), стоит 150 долларов и требуется как минимум одна землеройная машина, которая добавляет 75 долларов в день и сокращает время земляных работ на 3 дня (две машины макс. время). (1-> 20 дней, 2-> 17 дней)
- Если кран арендуется, время постройки сокращается на 25% и стоит 120 долларов в день.
- Бригада электриков сможет продвигаться вперед только тогда, когда будет построено 75% здания, это займет 5 дней и стоит 200 долларов за этаж. А когда строительство будет завершено, понадобится еще одна неделя, чтобы завершить соединения всех этажей.
BC претендует на строительство небоскребов со 150 надземными этажами и 15 под землей, как должно быть организовано здание так, чтобы прибыль была максимальной, а необходимое время минимизировано?
Определите проблему как проблему удовлетворения ограничений и решите ее с помощью CLP, чтобы можно было решить ее с различными параметрами (больше или меньше этажей или корректировка времени команд).
И что у меня есть на данный момент:
:- use_module(library(clpfd)).
start(Fdigs,Floors,Vars):-
length(Vars,5),
%S -> start, E -> end, D -> duration
%t -> transport, e -> excavating, f -> floor (build)
Vars=[St,Et,Se,Ee,Cost],
Se #>= Et,
Ee #= Se + 10,
Et #>=6,
Cost #>= Ee * 80, %transport cost since it starts at 0 Ee will be the days needed
domain(Vars,0,2000),
construct(0,Fdigs,Floors,Vars),
labeling([minimize(Cost)],Vars).
construct(Stock,0,Floors,Vars).
construct(Stock,Fdigs,Floors,[St,Et,Se,Ee,Cost]):-
Tasks=[
task(St,6,Et,0,1), %transport task
task(Se,10,Ee,5,2) %dig task, 5 because I'm digging all then building (20-15)
%10 because build is 10 so dig is 10
],
cumulative(Tasks,[limit(Stock)]),
Nfdigs is Fdigs - 1,
Nstock is Stock + 25,
construct(Nstock,Nfdigs,[Et,_Et,Ee,_Ee,Cost]).
И это, конечно, не работает, потому что я не могу использовать кумулятивную с задачей, требующей 5 ресурсов, а ограничение в 0 ресурсов - первая из многих проблем, которые я не могу обойти ...