Acredito que o 2.6 tambem esteja com problemas. Me parece que os atomos on(x,y) nao sao suficientes para fazer o algoritmo requisitado, pois esses atomos nao contem informacoes sobre a pilha dos blocos. Assim, eu supus que tambem podemos usar os atomos top(c, p), com os quais consegui escrever o algoritmo.
Forum