% P1

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

% planning problem

% initial state:

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

% goal state:

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

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


