% bw-large.e % 21 block problem % needs 11 steps % typical command line % cat bw.lp bw-large.e | lparse -1 -d none -c steps=10 | smodels 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). block(p). block(q). block(r). block(s). block(1). block(2). % initial situation on(m,table,0). on(l,m,0). on(a,l,0). on(b,a,0). on(c,b,0). on(o,table,0). on(n,o,0). on(d,n,0). on(e,d,0). % addition to bw-large.d on(s,e,0). on(j,s,0). on(k,j,0). on(f,table,0). on(g,f,0). % addition to bw-large.d on(r,g,0). on(h,r,0). on(i,h,0). on(p,c,0). on(q,i,0). on(1,p,0). on(2,k,0). % goal goal(T) :- time(T), on(r,e,T), on(e,j,T), on(a,r,T), on(n,p,T), on(i,d,T), on(h,i,T), on(m,q,T), on(o,m,T), on(k,g,T), on(s,k,T), on(c,s,T), on(b,c,T), on(l,b,T), on(p,a,T), on(q,h,T), on(1,n,T), on(2,l,T).