Once again, I am looking the knight’s tour problem again. Upon a google search of the knight’s tour and prolog, I discovered there are other prolog implmentations (one solution was written in Turbo Prolog as well as a Common LISP implementation). As of this time I only have downloaded copies of the other implementations, and I am not certain how efficient these implementations are.
One observation about this puzzle is the use of a heuristic and magic squares. One approach is to implement a version with the warnsdorf heuristic. The heuristic requires a look a head procedure to maximize the good squares. I have little knowledge about this heuristic since it was published in 1823. The second approach is to use the concept of magic squares to fine solutions quickly and efficiently. This is useful; however, the implementation of these solutions into logic programming is the question as well as the Prolog implementation.