The name of the puzzle is iso-eight-puzzle.
Load init-i8puzzle.
Ok.
The name of the action is slide-block.
If a block is adjacent to a clear location then you can move the block onto the clear 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.
Load final-i8puzzle.
The goal is that there are eight matching locations.
Ok.
If the value of a location is the value of the block that is on the location then the location is matching.
Done.
No.