connect.dl

   1 %define the system.
   2
   3 control(c).
   4 switching(s).
   5 windmill(w).
   6 caloric_plant(f).
   7 storage_plant(psh).
   8
   9 % our plant's max values
  10 c_max(f,60).
  11 c_max(w,15).
  12 c_max(psh,20).
  13 w_charge(30).
  14
  15 % control
  16 c(c,i1,V) :- in_c(l_current,V).
  17 c(c,i2,V) :- in_c(l_demand,V).
  18 c(c,i3,V) :- in_c(s_storage,V).
  19 c(c,i4,V) :- in_c(s_wind,V).
  20
  21 % switching
  22 p(s,i6,V) :- in_p(p_in,V).
  23 out_p(p_out,V) :- p(s,o2,V).
  24 p(s,i1,V) :- p(psh,op,V).
  25 p(s,i2,V) :- p(w,op,V).
  26 p(s,i3,V) :- p(f,op,V).
  27 c(s,i4,V) :- c(c,o4,V).
  28 c(s,i5,V) :- c(c,o5,V).
  29
  30 % psh
  31 c(psh,is,V) :- in_c(s_storage,V).
  32 c(psh,i1,V) :- c(c,o1,V).
  33 p(psh,i2,V) :- p(s,o1,V).
  34
  35 % windmill
  36 c(w,iw,V) :- in_c(s_wind,V).
  37 c(w,i1,V) :- c(c,o2,V).
  38
  39 %fuel
  40 c(f,i1,V) :- c(c,o3,V).
  41