The name of the puzzle is sokoban.
Load init-sokoban.
Ok.
The name of an action is move-block.
If a blue block is adjacent to a clear location then you can move the block onto the location.
If a location is not below an object then it is clear.
If a location is next to an object but it is not diagonal with the object then it is adjacent to the object.
The name of an action is push-block.
If a covered location is between a clear location and a blue block then you can move a block on the covered location onto the clear location plus move the blue block onto the covered location.
If a location is below an object then it is covered.
The solution has eight steps.
Load final-sokoban2.
The goal is that a red block is on a red location and a green block is on a green location.
Ok.
Done.
No.