]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - connect.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] / 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