The name of the puzzle is n-knights.
Load init-nknights2.
Ok.
The name of an action is place-block.
You can move a clear available block onto a clear location.
If a block is not on a location then it is available.
If a location is not below an object then it is clear.
The solution has eight steps.
Load fail-nknights2.
If a block is jumpable by another block then you lose.
Ok.
If an object that is alongside a block is diagonal with a location that is not next to the block then the location is jumpable by the block.
Load final-nknights2.
The name of the goal is all-placed.
Ok.
The goal is that all blocks are placed.
If a block is on a location then the block is placed.
Done.
No.