1#include "incmode_lc.lp".
    2
    3#program base.
    4action(load).
    5action(shoot).
    6action(wait).
    7duration(load,25).
    8duration(shoot,5).
    9duration(wait,36).
   10unloaded(0).
   11&sum { at(0) } = 0.
   12&sum { armed(0) } = 0.
   13
   14#program step(n).
   151 { do(X,n) : action(X) } 1.
   16&sum { at(n), -1 * at(N') } = D :-
   17     do(X,n),
   18     duration(X,D),
   19     N' = n - 1.
   20
   21loaded(n) :-
   22     loaded(n-1),
   23     not unloaded(n).
   24unloaded(n) :-
   25     unloaded(n-1),
   26     not loaded(n).
   27dead(n) :-
   28     dead(n-1).
   29
   30&sum { armed(n) } = 0 :-
   31     unloaded(n-1).
   32&