% From The Art of EyeProlog, Chapter 33.
step(state(Room, outside), enter(Room), state(Room, inside)).