f.dl

   1
   2 p(C,op,OP) :- not ab(C), caloric_plant(C), c(C,i1,0), OP = 0.
   3 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).
   4 p(C,op,OP) :- not ab(C), caloric_plant(C), c(C,i1,I1), c_max(C,MAX), I1 > MAX, OP = MAX, #int(OP).
   5
   6