The name of the puzzle is jealous-wives.
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-wives.
If a man is on a bank and the wife of the man is not on the bank and another woman is on the bank then you lose.
Ok.
If the last-name of a man is the last-name of a woman then the woman is the wife of the man.
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.