Продолжаем неделю задачи Эйнштейна на Хабре. В дополнение к трём представленным решениям

1. Регулярным языком
2. Хаскеллем
3. Прологом

позвольте представить еще одно на Mercury.

Напомним Википедию:

Mercury — язык функционально-логического программирования со строгой типизацией…

Хотел продолжить неделю задачи Эйнштейна на Хабре. После очень и не очень нестандартных решений, хотелось бы показать как логические задачки можно (и нужно) решать на языках логического программирования (простите за тавтологию).
Под катом можно увидеть почему Пролог так хорошо подходит для решения этой задачи.

Прелюдия

Не так давно я прочитал на Хабре статью, которая напомнила мне про интересную головоломку, которую называют «Загадкой Эйнштейна» или «Zebra puzzle». Вероятно многие из вас решали эту задачку на листке бумаги и гордились тем, что входят в несколько процентов населения земли, способных на это.

Прочитав статью, я задумался над программным решением этой задачи. Подход, приведенный в статье был интересен и вполне оправдал название блога, но показался мне не совсем понятным. В данный момент я интересуюсь языком программирования Haskell, который прекрасно подходит и сам по себе для разминки мозгов, решение же головоломки на нем показалось мне прекрасным вызовом.

При нажатии на объект в Prezi появляется инструмент трансформация - Зебра. Инструмент позволяет перемещать (центр зебры), изменять размер и масштаб (внутреннее кольцо или кнопки  "+" и "-" зебры), вращать объекты любого рода (внешнее кольцо зебры). Нажатие на кнопку  "карандаш" позволяет перейти в режим редактирования выбранного объекта. Если щелкнуть правой кнопкой мыши по Зебре, то появится контекстное меню со списком дополнительных опций редактирования над выбранным объектом:Команды контекстного меню Send to Back: разместить позади всех остальных объектов.  Send Backward: переместить назад на один шаг Bring to Front: переместить на передний план.Bring Forward: переместить вперед на один шагCut: вырезать у поместить в буфер обмена компьютера (можно использовать для выполнения этой операции сочетание клавиш: Ctrl + X).Copy: скопировать на компьютер в буфер обмена (или Ctrl + C)Paste: вставить скопированный или вырезанный объект из буфер обмена компьютера...

[content]