I went from logic puzzles to Prolog and the CLPFD lib was a great help to achieve results even as novice.