% P3

block(b0).
block(b1).
block(b2).
block(b3).
block(b4).
block(b5).
block(b6).
block(b7).

% planning problem

%initial state:

% 2    7
% 3  4 6
% 0  1 5
% ---------

% goal state:

% 7    5
% 3  2 0
% 4  6 1
% ---------


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

