اللغز الثنائي

التعليمات

مهمتك هي حل أحجية ثنائية. كل أحجية ثنائية لها حل واحد فقط، يمكن إيجاده بتطبيق هذه القواعد:

1. يجب أن تحتوي كل خلية على صفر أو واحد.
2. لا يمكن أن يكون أكثر من رقمين متطابقين متجاورين. وبالتالي، إذا احتوت خليتان متجاورتان على الرقم نفسه، فيجب أن تحتوي الخلايا المجاورة لهما على الرقم الآخر.
3. يجب أن يحتوي كل صف وكل عمود على عدد متساوٍ من الأصفار والآحاد.
4. يجب أن يكون كل صف وكل عمود فريدًا.

ستُمرَّر إليك أحجية غير مكتملة على شكل صفوف من الأصفار والآحاد، مع عناصر نائبة (_) للقيم المجهولة. الهدف هو تعريف القواعد الخاصة بالأحجية الثنائية، ما سيسمح للاختبارات بمعرفة قيم العناصر النائبة (أنت لا تفعل ذلك بنفسك). يجب أن يستخدم تنفيذك البرمجة المنطقية بالقيدود على النطاقات المنتهية (CLP(FD)) الخاصة بلغة Prolog، وهي مثالية لهذا النوع من المهام.

:- use_module(library(clpfd)).