Загадка Эйнштейна

لغز آينشتاين - يعرف مشكلة المنطق، وفقا للأسطورة التي أسسها ألبرت أينشتاين خلال طفولته. أيضا، هناك تصور أن كان يستخدم لاختبار اينشتاين المرشحين المساعدين القدرة على التفكير المنطقي. أحيانا مؤلف اللغز دعا لويس كارول. ومع ذلك، لا يوجد أي دليل على أن المشكلة جاءت مع أينشتاين أو كارول. (وفقا لويكيبيديا)

في الحالة العامة، والشرط هو:
في الشارع هناك العديد من المنازل، ولكل لون مختلف، فهي شخصا من جنسيات مختلفة، مع عادات مختلفة، والحيوانات الأليفة، وهلم جرا. يوفر أيضا قائمة من الحقائق المعروفة عن سكان المنازل. التي تحتاج إليها، استنادا إلى المنطق لتحديد ما الذي يعيش في المنزل، ما، ما الحيوانات الأليفة وهلم جرا.

يتيح البرنامج المقترح حاولت يدك في حل مثل هذه المشاكل.