I always thought the deductive power of prolog would be perfect for a mystery game (it need not expose the user to the language). Or for that matter, any sort of game involving story-telling. It becomes particularly interesting when the deductions are chained 3+ levels deep.