Registered: 13 years ago
I don't think we need to use a "safe" predicate for this one. (In the cannibals question it was necessary). All you need to do other than that should be to define goal states and valid transitions (you know: s(X, X1):-...)
The hard part for me with this one was coming up with a good state representation and transitions. Hope you've got it worked out.