This looks awesome!
Could you link to some descriptions of how to interpret Prolog and some of the basic strategies you might be implementing in the program?
Specifically, does providing candidate solutions mean all of the candidates are viable solutions? Or more that it provides jumping off points that you can use to get to the end of puzzles?