The [[wp:Zebra puzzle|Zebra puzzle]], a.k.a. Einstein's Riddle, 
is a logic puzzle which is to be solved programmatically. 


It has several variants, one of them this:
:# &nbsp; There are five houses.
:# &nbsp; The English man lives in the red house.
:# &nbsp; The Swede has a dog.
:# &nbsp; The Dane drinks tea.
:# &nbsp; The green house is immediately to the left of the white house.
:# &nbsp; They drink coffee in the green house.
:# &nbsp; The man who smokes Pall Mall has a bird.
:# &nbsp; In the yellow house they smoke Dunhill.
:# &nbsp; In the middle house they drink milk.
:# &nbsp; The Norwegian lives in the first house.
:# &nbsp; The Blend-smoker lives in the house next to the house with a cat.
:# &nbsp; In a house next to the house with a horse, they smoke Dunhill.
:# &nbsp; The man who smokes Blue Master drinks beer.
:# &nbsp; The German smokes Prince.
:# &nbsp; The Norwegian lives next to the blue house.
:# &nbsp; They drink water in a house next to the house where they smoke Blend. 

<br>The question is, who owns the zebra? For clarity, each of the five houses is painted a different color, and their inhabitants are of different nationalities, own different pets, drink different beverages and smoke different brands of cigarettes.

Additionally, list the solution for all the houses. 
<br>Optionally, show the solution is unique.


;Related tasks:
* &nbsp; [[Dinesman's multiple-dwelling problem]]
* &nbsp; [[Twelve statements]]
<br><br>

