Блог

Я новичок в ECLiPSe, и у меня следующая проблема. когда я пишу и компилирую эту простую программу:

 ---------------------------------
:- lib(eplex).

main1(Cost, Vars) :-
Vars = [A1, A2, A3, B1, B2, B3, C1, C2, C3, D1, D2, D3],
Vars :: 0.0..inf,            % variables
A1   A2   A3 $= 200,            % demand constraints
B1   B2   B3 $= 400,
C1   C2   C3 $= 300,
D1   D2   D3 $= 100,

A1   B1   C1   D1 $=< 500,        % capacity constraints
A2   B2   C2   D2 $=< 300,
A3   B3   C3   D3 $=< 400,

optimize(min(                % solve
10*A1   7*A2   11*A3  
8*B1   5*B2   10*B3  
5*C1   5*C2    8*C3  
9*D1   3*D2    7*D3), Cost).
------------------------------
  

Я не знаю, как его протестировать? или что такое простой запрос для его тестирования?

Я буду очень рад, если вы поможете мне . Заранее спасибо

Два аргумента main1 являются выходными данными, поэтому вы можете просто указать две переменные (имена в верхнем регистре) в вашем запросе, например main1(C,Vs) . Введите это в запрос запроса (или в поле ввода запроса, если вы используете tkeclipse), после чего система запустит код и распечатает привязки ответов:

 [eclipse 1]: main1(C, Vs).
C = 6600.0
Vs = [100.0, 0.0, 100.0, 100.0, 300.0, 0.0, 300.0, 0.0, 0.0, 0.0, 0.0, 100.0]
Yes (0.00s cpu)