Make zebra puzzle work

Equals (=) does not check for equality in Prolog. Instead it checks for
unification. Saying A = Y is always true, as variables unify with
anything.