]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - f.dl
19:43:01 <astra> was unabhängig davon: w_charge ist afaik w_charge/1 nicht w_charge/2
[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