1:- include('../ec_test_incl'). 6
7do_test(plant1) :- abdemo_special(easy,[holds_at(plant_safe,t)],R).
8
9
10axiom(holds_at(plant_safe,T),
11 [holds_at(tank_empty,T),holds_at(temperature_low,T)]).
12
13axiom(initiates(drain_tank,tank_empty,T),
14 [holds_at(pressure_normal,T)]).
15
16axiom(initiates(cool_tank,temperature_low,T),[]).
17
18axiom(holds_at(pressure_normal,T),[holds_at(valve_open,T)]).
19
20axiom(holds_at(pressure_normal,T),[holds_at(boiler_off,T)]).
21
22axiom(initiates(open_valve,valve_open,T),[]).
23
24axiom(initiates(turn_off_boiler,boiler_off,T),[]).
25
26
28
29abducible(dummy).
30
31executable(drain_tank).
32
33executable(cool_tank).
34
35executable(open_valve).
36
37executable(turn_off_boiler)