sussman : bw_domain
{
block(b0).
block(b1).
block(b2).

% the initial state
%  2
%  0  1
% ------

% the goal state 
%  2
%  1
%  0
% ---

on(b1, table, 0) :- #true. on(b2, b0, 0) :- #true. on(b0, table, 0) :- #true.

}

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