\begin{verbatim}
fluent(loaded).
fluent(alive).
action(load).
action(shoot).
time(0..1).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
holds(alive,0).
occurs(shoot,0).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
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),
not not_holds(loaded, T).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
not_holds(alive,1).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- fluent(F),
time(T),
holds(F,T),
not_holds(F,T).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hide fluent(F).
hide action(A).
hide time(T).
%hide ab(F,A,T).
%hide occurs(A,T).
\end{verbatim}