Prolog puzzles for fun and profit (mostly fun)