% bw-large.c

block(a).
block(b).
block(c).
block(d).
block(e).
block(f).
block(g).
block(h).
block(i).	
block(j).
block(k).
block(l). 
block(m).
block(n).
block(o).


time(t0).
time(t1).
time(t2).
time(t3).
time(t4).
time(t5).
time(t6).
time(t7).
time(t8).


% initial situation 
on(m,table,t0).
on(l,m,t0).
on(a,l,t0).
on(b,a,t0).
on(c,b,t0).
on(o,table,t0).
on(n,o,t0).
on(d,n,t0).
on(e,d,t0).
on(j,e,t0).
on(k,j,t0).
on(f,table,t0).
on(g,f,t0).
on(h,g,t0).
on(i,h,t0).


% goal 
goal(T) :- time(T),
on(e,j,T),
on(a,e,T),
on(n,a,T),
on(i,d,T),
on(h,i,T),
on(m,h,T),
on(o,m,T),
on(k,g,T),
on(c,k,T),
on(b,c,T),
on(l,b,T).