The name of the puzzle is number-map-color.
Load init-map-ncolor3rc.
Ok.
The name of the action is write-1-to-4.
You can write a number that is between one and four onto an empty location.
If the value of a location is absent then the location is empty.
Load fail-map-ncolorrc.
If the value of a location is the value of an object that is next to the location then you lose.
Ok.
The solution has three steps.
Load final-map-ncolorrc.
The name of the goal is all-filled.
Ok.
The goal is that all locations are filled.
If the value of a location is more than zero then the location is filled.
Done.
No.