Following is a demo of the Challenge3.3.pl program.
?- level_plan(Steps). Steps = [stack(b5, b6), stack(b3, b1), stack(b2, b3), stack(b4, b5), stack(b7, b4), stack(b8, b7)].