% P2

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

% planning problem

%initial state:

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

% goal state:

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



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