Norvig's treatment of the zebra puzzle.