1:- include('../ec_test_incl').    2/*
    3   Test queries:
    4
    5*/
    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
   27/* Abduction policy */
   28
   29abducible(dummy).
   30
   31executable(drain_tank).
   32
   33executable(cool_tank).
   34
   35executable(open_valve).
   36
   37executable(turn_off_boiler)