block(b1).
block(b2).
block(b3).
block(b4).
block(b5).

on(b3,table,t0).
on(b5,table,t0).
on(b2,b5   ,t0).
on(b4,b3   ,t0).
on(b1,b4   ,t0).

time(t0).
time(t1).
time(t2).
time(t3).
time(t4).
time(t5).

%              b5
%              b4
%  b1     -->  b3
%  b4 b2       b2
%  b3 b5       b1

goal(T):- time(T),
on(b1,table,T),
on(b2,b1   ,T),
on(b3,b2   ,T),
on(b4,b3   ,T),
on(b5,b4   ,T).
