% 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 
%-----

on(b4, table,0), on(b2, table,0), on(b3, b2,0),
on(b0, b3,0), on(b1, b4,0),
on(b0, table, #maxint), on(b1, b0, #maxint), on(b2, b1, #maxint),
on(b3, b2, #maxint), on(b4, b3, #maxint)?



