Solving Puzzles Using Constraint Logic Programming in Prolog (2020) (bennycheung.github.io)

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