Autumn Challenge 2024: Numbrix Puzzle

Hi,
A path inside a rectangular grid can be
encoded by numbering the cells so that
successive integers are in adjacent cells.
Example:
   3---2---1  20--21
   |           |   |
   4  17--18--19  22
   |   |           |
   5  16--15--14  23
   |           |   |
   6   9--10  13  24
   |   |   |   |   |
   7---8  11--12  25
Turn it into a so called Numbrix puzzle,
created by Marilyn vos Savant, in that
you reveal a few numbers, and
the solitaire player has find and fill
the remaining numbers. Similar approach
as in Sudoku, except the constaints are
different. Implement the following in Prolog:
a) A solver for Numbrix
b) A riddle generator for Numbrix
c) Some game play for Numbrix
Have Fun!