1 % testing a pumpspeicherkraftwerk: discharge
7 % define max charging power
10 % define control i1 to 5KW (we request 5 KW)
13 % define control i2 to 0KW (we are not getting energy to store)
16 % define control is to full
20 % expecting i1 to be 5
23 % expecting i2 to be 0
26 % expecting is to be full
27 expect_c(psh,is,full).
29 % and therefore we shall produce 5KW
39 %not_empty(C) :- storage_plant(C), c(C,is,full) v c(C,is,half_full).
40 %not_full(C) :- storage_plant(C), c(C,is,empty) v c(C,is,half_full).