A logic-based hunt the wumpus program