\begin{verbatim}
holds(alive, 0) :- not not_holds(alive,0).
not_holds(alive, 0) :- not holds(alive,0).
holds(loaded, 0) :- not not_holds(loaded,0).
not_holds(loaded, 0) :- not holds(loaded,0).
fluent(loaded).
fluent(alive).
action(load).
action(shoot).
time(0..1).
holds(F, T+1) :- fluent(F),
time(T),
action(A),
holds(F,T),
occurs(A,T),
not ab(F, A, T).
not_holds(F, T+1) :- fluent(F),
time(T),
action(A),
not_holds(F,T),
occurs(A,T),
not ab(F, A, T).
holds(loaded, T+1) :- time(T),
occurs(load, T).
ab(loaded, load, T) :- time(T).
not_holds(alive, T+1) :- time(T),
occurs(shoot, T),
holds(loaded, T).
ab(alive, shoot, T) :- time(T),
holds(loaded, T).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
holds(alive,0).
occurs(shoot,0).
% :- not holds(alive, 1).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hide fluent(F).
hide action(A).
hide time(T).
hide ab(F,A,T).
hide occurs(A,T).
\end{verbatim}