% From The Art of Eyepl, Chapter 33 — Pattern 6: Explicit state transition.
step(state(Room, outside), enter(Room), state(Room, inside)).