inertia { alive(T1) :- alive(T), #succ(T,T1). -alive(T1) :- -alive(T), #succ(T,T1). loaded(T1) :- loaded(T), #succ(T,T1). -loaded(T1) :- -loaded(T), #succ(T,T1). } domain : inertia { loaded(T1) :- load(T), #succ(T,T1). -loaded(T1) :- shoot(T), loaded(T), #succ(T,T1). -alive(T1) :- shoot(T), loaded(T), #succ(T,T1). } yale : domain { load(0). wait(1). shoot(2). alive(0) :- #true. }