/*
POWER LINES EXAMPLE:

RUNNING TIME : ~ 5 sec
*/
begin%power%
r(1,a1,a2) :- a1>=1.5.
r(2,a1,a2) :- a1>=2.
r(3,a1,a2) :- a1>=2.15.
r(7,a1,a2) :- 3a1+2a2<=9.75.
r(8,a1,a2) :- 2a1+a2<=5.
r(9,a1,a2) :- a2>=1.5.
r(10,a1,a2) :- a2>=1.25.
r(11,a1,a2) :- a1<=2.275,a2<=2.65.
r(4,a1,a2) :- 0.4a1-0.6a2>=0.3.
r(5,a1,a2) :- 0.5a1-0.6a2>=0.2.
r(6,a1,a2) :- 0.45a1-0.6a2>=0.25.
ok (0,1).
ok (0,2).
ok (0,3).
ok (1,4).
ok (2,5).
ok (3,6).
ok (4,7).
ok (4,8).
ok (5,7).
ok (5,8).
ok (6,7).
ok (6,8).
ok (7,9).
ok (8,10).
ok (9,11).
ok(10,11).
can_build (a1,a2) :- p(11,a1,a2).
p (j,a1,a2) :- ok(i,j), p(i,a1,a2), r(j,a1,a2).
p (0,a1,a2).
end%power%