:- lib(clpr).

question1(Z) :- {5*X+2*Y >= 24,X+6*Y >= 18,3*X+3*Y >= 24, X >=0, Y >= 0},inf(600*X+500*Y,Z).

question2(Z2) :- {5*X+2*Y >= 24,X+6*Y >= 18,3*X+3*Y >= 24,X >= 0, Y >=0},inf(600*X+500*Y,Z),
{5*X1+2*Y1 >= 24,X1+6*Y1 >= 18,3*X1+3*Y1 >= 25, X1>=0,Y1>=0},inf(600*X1+500*Y1,Z1), {Z2=Z1-Z}.
