Из Ситилинка по почте прислали конкурс с переизданием загадки Эйнштейна.

Похвастаться особо нечем: потыкался в Excel, но второй итерации понял, что пошёл не туда, потом попробовал в MindJet связи рисовать, но картинка первых нескольких не оказалась столь очевидной, как это предполагалось в воображении. Наконец, окончательно обленившись, полазил по форумам, и надыбал код программы на Prolog 5.2 для решения оригинальной задачи. Немного покурив код и уяснив его принцип, завёл туда условия, данные Ситилинком, и получил верный ответ. Не подумайте, я не какой-то тру-программист, там просто всё достаточно интуитивно понятно. Сложнее было без мануала интерфейс заставить работать

Мне, единственно, интересно: они специально ограничились 14ю условиями против 16 в оригинальной задаче? И насколько отсутствие упоминания в условиях двух элементов действительно её усложняет? Собственно, данная ситуация стала явно видна только уже в полученном программой решении, где два места оказались пустыми, т.к. они не обуславливались вообще никакими условиями. С одной стороны, самой программе верно расставить их по местам это не помешало, но вручную были бы не лишними?