]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - f.dl
fix connect.dl
[pub/jan/ewbs-dlv.git] / f.dl
1 % fuel-plant definition.
2
3 p(C,op,OP) :- not ab(C), caloric_plant(C), c(C,i1,0), OP = 0.
4 p(C,op,OP) :- not ab(C), caloric_plant(C), c(C,i1,I1), c_max(C,MAX), I1 > 0, MAX >= I1, OP = I1, #int(OP).
5 p(C,op,OP) :- not ab(C), caloric_plant(C), c(C,i1,I1), c_max(C,MAX), I1 > MAX, OP = MAX, #int(OP).
6
7