The name of the puzzle is jealous-husbands.
Load init-husbands.
Ok.
The name of an action is ferry-one.
You can move the boat and a block on the current bank onto the opposite bank.
If an object is below a boat then it is current.
If a location is not below a boat then it is opposite.
The name of an action is ferry-two.
You can move a block that is on the current bank and another block that is on the current bank and the boat onto the opposite bank.
The solution has five steps.
Load fail-husbands.
If a woman is on a bank and the husband of the woman is not on the bank and a man is on the bank then you lose.
Ok.
If the last-name of a woman is the last-name of a man then the man is the husband of the woman.
Load final-husbands.
The name of the goal is all-crossed.
Ok.
The goal is that all the blocks are on a destination bank.
Done.
No.