پازل دودویی

دستورالعمل‌ها

وظیفه‌ی شما حل یک پازل دودویی است. هر پازل دودویی دقیقاً یک جواب دارد که با اعمال این قواعد پیدا می‌شود:

1. هر خانه باید یا صفر باشد یا یک.
2. بیش از دو رقم یکسان نمی‌توانند مجاور هم باشند. بنابراین، اگر دو خانه‌ی مجاور رقم یکسان داشته باشند، خانه‌های کنار آن رقم‌ها باید رقم دیگر را داشته باشند.
3. هر سطر و هر ستون باید تعداد برابری صفر و یک داشته باشد.
4. هر سطر و ستون یکتاست.

پازلی ناتمام به‌شکل سطرهایی از صفر و یک به شما داده می‌شود، همراه با جانگهدارها (_) برای مقادیر نامعلوم. هدف این است که قواعد پازل دودویی را تعریف کنید تا تست‌ها بتوانند مقادیر جانگهدارها را پیدا کنند (این کار را خودتان انجام نمی‌دهید). پیاده‌سازی شما باید از برنامه‌نویسی منطقی با محدودیت روی دامنه‌های متناهی (CLP(FD)) زبان Prolog استفاده کند، که برای این نوع کارها ایده‌آل است.

:- use_module(library(clpfd)).