-
(For what it's worth, I did get her to come up with the list of constraints for the Prolog bit, and then I didn't give her all the answers - only two of them, so she could use that to help make solving the problem manually easier. Still felt like a cheating failure though!)