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

on(b0,table,0).
on(b1,table,0).
on(b5,table,0).
on(b3,b0   ,0).
on(b2,b3   ,0).
on(b6,b5   ,0).
on(b7,b6   ,0).
on(b4,b1   ,0).

%  b2    b7       b5 b7
%  b3 b4 b6  -->  b0 b3 b2
%  b0 b1 b5       b1 b4 b6

:- not on(b1,table,#maxint).
:- not on(b4,table,#maxint).
:- not on(b6,table,#maxint).
:- not on(b3,b4   ,#maxint).
:- not on(b7,b3   ,#maxint).
:- not on(b0,b1   ,#maxint).
:- not on(b5,b0   ,#maxint).
:- not on(b2,b6   ,#maxint).
