/* Test queries: :- abdemo([holds_at(plant_safe,t)],R). */ axiom(holds_at(plant_safe,T), [holds_at(tank_empty,T),holds_at(temperature_low,T)]). axiom(initiates(drain_tank,tank_empty,T), [holds_at(pressure_normal,T)]). axiom(initiates(cool_tank,temperature_low,T),[]). axiom(holds_at(pressure_normal,T),[holds_at(valve_open,T)]). axiom(holds_at(pressure_normal,T),[holds_at(boiler_off,T)]). axiom(initiates(open_valve,valve_open,T),[]). axiom(initiates(turn_off_boiler,boiler_off,T),[]). /* Abduction policy */ abducible(dummy). executable(drain_tank). executable(cool_tank). executable(open_valve). executable(turn_off_boiler).