const length = 2.

:- not trans(test,0,2).

% the action theory  
% causes(a1, f, [neg(f)].
% causes(a2, p, [neg(g), f]).
% causes(a3, p, [g, f]).
% causes(a,  p, [neg(p)]).

% initially(neg(f)).
% initially(g).    
% initially(neg(p)).

% action(a1).
% action(a2).
% action(a3).
% action(a).

% fluent(f).
% fluent(g).
% fluent(p).


% GOLOG:  a1; a2 $ a3; p?

proc(test).
head(test, a1).
tail(test, two).

proc(two).
head(two, n1).
tail(two, p).

choiceAction(n1).
in(a2, n1).
in(a3, n1).