The name of the puzzle is ken-ken.
Load init-ken-ken.
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.
The solution has four steps.
Load fail-ken-ken2.
The name of a failure is same-row-value.
Ok.
If the row of a location is the row of a location and the value of the former location is the value of the latter location then you lose.
The name of a failure is same-col-value.
Ok.
If the column of a location is the column of a location and the value of the former location is the value of the latter location then you lose.
Load final-ken-ken.
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.
Load fail-ken-ken.
The name of a failure is region-sum-10.
Ok.
If the locations in a region are filled and the sum of the values of the region is not ten then you lose.
If the blocks have the same section then they are in a region.
Done.
No.