Who owns the Zebra? - A Logic Puzzle

The Task The 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: There are five houses The English man lives in the red house. The Swede has a dog. The Dane...