% File 'coins' :- macros n -> 10. :- constants c :: inertialFluent(0..n); a :: exogenousAction. :- variables I :: 0..n-1. a causes c=I+1 if c=I. nonexecutable a if c=n. :- query % prediction label :: 1; maxstep :: 2; 0: c=5; 0: a; 1: a. :- query % postdiction label :: 2; maxstep :: 2; maxstep: c=5; 0: a; 1: a. :- query % planning label :: 3; maxstep :: 0..infinity; 0: c=4; maxstep: c=10.