Using Prolog to solve SEND + MORE = MONEY and the Zebra Puzzle.