KB for the wumpus world
n Perception
¡ t,s,b Percept([s,b,Glitter],t) Glitter(t)
n Reflex
¡ t Glitter(t) BestAction(Grab,t)