susl

#!/usr/bin/pl -q -t einstein -s

einstein :-
/*
  условия 0, 1 и 8 можно упостить до:
    Houses = [[norwegian,_,_,_,_],_,[_,_,_,milk,_],_,_]
  тогда не нужен предикат nth1, но хотелось быть как можно ближе к оригиналу
*/

    /* 0. Всего 5 домов */