Binärpuzzle

Anleitung

Deine Aufgabe ist es, ein Binärpuzzle zu lösen. Jedes Binärpuzzle hat genau eine Lösung, die du findest, indem du diese Regeln anwendest:

1. Jede Zelle muss entweder eine Null oder eine Eins enthalten.
2. Mehr als zwei gleiche Ziffern dürfen nicht nebeneinander liegen. Wenn also zwei benachbarte Zellen dieselbe Ziffer enthalten, müssen die Zellen neben diesen Ziffern die andere Ziffer enthalten.
3. Jede Zeile und jede Spalte muss gleich viele Nullen wie Einsen enthalten.
4. Jede Zeile und jede Spalte muss einzigartig sein.

Du bekommst ein unvollständiges Puzzle als Zeilen aus Nullen und Einsen übergeben, mit Platzhaltern (_) für die unbekannten Werte. Das Ziel ist, die Regeln für das Binärpuzzle zu definieren, damit die Tests die Werte für die Platzhalter ermitteln können (das machst du nicht selbst). Deine Implementierung muss Prologs Constraint-Logik-Programmierung über endliche Domänen (CLP(FD)) verwenden, die sich perfekt für diese Art von Aufgaben eignet.

:- use_module(library(clpfd)).