Задача про зебру

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

Англичанин живет в красном доме.
У испанца есть собака.
Японец – художник.
Итальянец пьет чай.
Норвежец живет в первом доме справа.
Владелец зеленого дома пьет кофе.
Зеленый дом находится справа от белого.
Скульптор разводит улиток.
Дипломат живет в желтом доме.
В доме посередине пьют молоко.
Норвежец живет рядом с голубым домом.
Скрипач пьет фруктовые соки.
Лису держат в доме, соседнем с домом врача.
Лошадь держат по соседству с домом дипломата.
Кто держит зебру и кто пьет воду?!

И её решение на прологе

l(1).
l(2).
l(3).
l(4).
l(5).
query :- l(English), l(Red), English=Red,
    l(Spanish), English\==Spanish, l(Dog), Spanish=Dog,
    l(Japanese), English\==Japanese, Spanish\==Japanese, l(Artist),
      Japanese=Artist,
    l(Italian), English\==Italian, Spanish\==Italian, Japanese\==Italian,
      l(Tea), Italian=Tea,
    Norwegian=1, English\==Norwegian, Spanish\==Norwegian, Japanese\==Norwegian,
      Italian\==Norwegian,
    l(Green), Red\==Green, l(Coffee), Tea\==Coffee, Green=Coffee,
    l(White), Red\==White, Green is White + 1,
    l(Sculptor), Artist\==Sculptor, l(Snails), Dog\==Snails, Sculptor=Snails,
    l(Diplomat), Artist\==Diplomat, Sculptor\==Diplomat, l(Yellow),
      Red\==Yellow, Green\==Yellow, White\==Yellow, Diplomat=Yellow,
    Milk=3, Tea\==Milk, Coffee\==Milk,
    l(Norwegian), l(Blue), Red\==Blue, Green\==Blue, White\==Blue,
      Yellow\==Blue, 1 is abs(Norwegian-Blue),
    l(Violinist), Artist\==Violinist, Sculptor\==Violinist,
      Diplomat\==Violinist, l(Juice), Tea\==Juice, Coffee\==Juice, Milk\==Juice,
      Violinist=Juice,
    l(Fox), Dog\==Fox, Snails\==Fox, l(Doctor), Artist\==Doctor,
      Sculptor\==Doctor, Diplomat\==Doctor, Violinist\==Doctor,
      1 is abs(Fox-Doctor),
    l(Horse), Dog\==Horse, Snails\==Horse, Fox\==Horse,
      1 is abs(Horse-Diplomat),
    l(Zebra), Dog\==Zebra, Snails\==Zebra, Fox\==Zebra, Horse\==Zebra, l(Water),
      Tea\==Water, Coffee\==Water, Milk\==Water, Juice\==Water,
    write('zebra lives at house #'), write(Zebra), write(' ('),
      (Zebra=English, X='English'; Zebra=Spanish, X='Spanish';
       Zebra=Japanese, X='Japanese'; Zebra=Italian, X='Italian';
       X='Norwegian'),
      write(X), write(')'), nl,
    write('water is drunk at house #'), write(Water), write(' ('),
      (Water=English, Y='English'; Water=Spanish, Y='Spanish';
       Water=Japanese, Y='Japanese'; Water=Italian, Y='Italian';
       Y='Norwegian'),
      write(Y), write(')'), nl.
:-initialization(query).