Solving a “Layton Puzzle” with Prolog