% P4

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

% planning problem

% initial state:

%   10 8
% 2 9  7
% 1 4  6 
% 0 3  5
%-------

% goal state: 

%     1
%     2
% 0 7 10
% 4 8 6
% 9 3 5 
%-----


on(b0, table,0), on(b3, table,0), on(b5, table,0),
on(b1, b0,0), on(b2, b1,0), on(b4, b3,0),
on(b9, b4,0), on(b10, b9,0), on(b6, b5,0), on(b7, b6,0), on(b8, b7,0),
on(b9, table, #maxint), on(b3, table, #maxint), on(b5, table, #maxint),
on(b4, b9, #maxint), on(b0, b4, #maxint), on(b8, b3, #maxint), 
on(b7, b8, #maxint), on(b6, b5, #maxint), on(b10, b6, #maxint), 
on(b2, b10,#maxint), on(b1, b2, #maxint) ?


