Cahier des Charges

Nous devons réaliser en langage prolog, deux programmes.

1. Le premier devant résoudre un sudoku en n'utilisant que des méthodes de déductions et de réductions.
2. Le deuxième programme doit quant à lui être capable de déterminer une solution d'un sudoku, en un temps optimal. Ce dernier peut donc utiliser l'un des atouts majeurs de prolog : la construction d'arbre de tests (notamment à l'aide d'une méthode énumérative).

Les deux programmes doivent tout d'abord lire un fichier au format '.sud', et doivent respectivement ecrire leur solution dans un fichier '.p1' et '.p2'.