The name of the puzzle is frogs-and-toads.
Load init-frog.
Ok.
If a clear location is to the right of a toad then you can move the toad onto the location.
If a location is not below an object then it is clear.
If an object is blue and the object is a block then it is a toad.
If a clear location is to the left of a frog then you can move the frog onto the location.
If an object is red and the object is a block then it is a frog.
Load second-frog.
If a frog is to the right of a toad and the toad is to the right of a clear location then you can move the frog onto the clear location.
If a toad is to the left of a frog and the frog is to the left of a clear location then you can move the toad onto the clear location.
Load final-frog.
The name of the goal is red-blue-matched.
Ok.
The goal is that all the red blocks are on the red locations and all the blue blocks are on the blue locations.
Done.
No.