The following is a demo of the block_world.pl program.
?- talktome. Currently... the large yellow block is on the table the large red block is on the table the large blue block is on the table the large green block is on the table the small yellow block is on the table the small red block is on the table the small blue block is on the table the small green block is on the table What would you like to do next? exit true ?- create_plan(Steps). Steps = [unstack(b3, b1), unstack(b1, b2), stack(b4, b5), stack(b2, b1), stack(b3, b2)]