Hitori
Nel puzzle Hitori viene dato uno schema costituito da una matrice di numeri
Scopo del gioco è annerire alcune celle in modo che
- Due celle nere non confinino in verticale o orizzontale
- In ogni riga o colonna, non compaia due volte lo stesso numero (nelle celle bianche)
- Le celle bianche siano tutte connesse
Lo schema viene dato con dei fatti
schema(Riga,Colonna,Valore).
Si scriva un programma ASP che risolve il puzzle.
Si provi il programma con l'istanza hitori_inst.pl