% P1

block(b0).
block(b1).
block(b2).
block(b3).

% planning problem

%initial state:

%  
%     3
% 0 1 2
%-------

% goal state:

% 3
% 2 
% 1 
% 0 
%-----


compute 1 {
on(b0, table,0), on(b1, table,0), on(b2, table,0), on(b3, b2,0),
on(b0, table, lasttime), on(b1, b0, lasttime), on(b2,b1,lasttime), 
on(b3, b2, lasttime)}.
