Devils advocate: Solving this kind of puzzles is the usual demo for showing Prolog's strengths. Are there any more-real-world-like demonstrations which problems can be solved with Prolog?