A nagymamád nemrégiben élénk érdeklődést kezdett mutatni a bináris rejtvények megoldása iránt. Bár egyre ügyesebb benne, elég gyakran elakad. Mivel segítőkész unoka vagy, úgy döntesz, hogy építesz egy kis alkalmazást, amely bármilyen bináris rejtvényt meg tud oldani. Így tippeket adhatsz a nagymamádnak a következő lépéséhez.
A feladatod, hogy megoldj egy bináris rejtvényt. Minden bináris rejtvénynek pontosan egy megoldása van, amelyet az alábbi szabályok alkalmazásával találhatsz meg:
Egy befejezetlen rejtvényt kapsz majd meg, nullák és egyesek soraiként, ahol a helyőrzők (_) jelölik az ismeretlen értékeket.
A célod az, hogy megadd a bináris rejtvény szabályait, amivel a tesztek ki tudják találni a helyőrzők értékeit (ezt nem neked kell megtenned).
A megvalósításodnak Prolog Constraint Logic Programming over Finite Domains (CLP(FD)) eszközét kell használnia, amely tökéletes az ilyen típusú feladatokhoz.
Hogy könnyebben elindulj, a vázfájl már tartalmazza a clpfd könyvtárat a következő módon:
:- use_module(library(clpfd)).
Iratkozz fel az Exercism-re, hogy megtanuld és elsajátítsd a(z) Prolog nyelvet 109 feladat segítségével, valódi emberi mentorálással, mindez ingyen.