The name of the puzzle is missionaries-and-cannibals.
Load init-mac.
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-mac.
If the number of cannibals on a bank is more than the number of missionaries on the bank then you lose.
Ok.
Load final-mac.
The name of the goal is all-crossed.
Ok.
The goal is that all the blocks are on a destination bank.
Done.
No.