Tiny example domain for getting architecture feedback.

example.lp

#const n = 4.
step(0..n).

% Actions can affect state.
% Actions always produce a single new model.
state(Val, I + 1) :- occurs(action(Val), I).

% Inertia for state.
state(Val, I + 1) :- state(Val, I), not occurs(action(_), I), I < n.

% Transient effects need to be rendered to the screen, but don't affect state.
% Transient effects are encoded in a way that sometimes produces multiple models.
% There may be #maximize/#minimize constraints on those models (or I could just use #max/#min)
{ transient((a;b)) } == 1 :- occurs(transientAction, I).

% Initial State.
state(x, 0).

% History
occurs(action(y), 0).
occurs(transientAction, 1).
occurs(action(z), 2).