Solves a 2D number puzzle, similar to Sudoku and Magic Squares. For Declarative Programming, Semester 2 2019 @ Unimelb.
Uses Prolog's constraint programming library, CLPFD. The algorithm defines the solution space, removes impossible solutions based on the game rules and then generates-and-tests to find the answer.