Wumpus models

n KB = wumpus-world rules + observations