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