% sussman anomaly

% Definition of the blocks involved in this problem instance

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


% the initial state

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

% the goal state 

%  2
%  1
%  0
% ---

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