Schakelaar puzzel

Opnieuw een puzzel uit ‘Puzzels en raadsel voor echte Einsteins‘: de knop omzetten (blz 71). Er zijn 9 schakelaars in een 3×3 grid. Als er 6 ‘aan’ (1) staan is de puzzel opgelost.
– Op 1 rij mogen maximaal 2 schakelaars ‘aan’ staat
– In 1 kolom mogen maximaal 2 schakelaars ‘aan’ staat
– Diagonaal mogen maximaal 2 schakelaars ‘aan’ staat

Het aantal combinaties is niet groot; een brute force aanpak (C# programma) geeft na 10 seconden een oplossing. Niet echt bevredigend eerlijk gezegd.

Nee, dan is Prolog hier toch wel heel charmant. Het bovenstaande vertaal je in 9 regels en je vraagt Prolog simpelweg om een oplossing die daaraan voldoet. https://www.swi-prolog.org/

Op pagina 84 is de “Acht atomen” puzzel een 4×4 variant.