Anyone looking for a good time can search for "zebra puzzles" or "logic puzzles" and try to solve them using Prolog.