Загадка Эйнштейна

Zebra Puzzle - conocido problema de lógica, según la leyenda fundada por Albert Einstein durante su infancia. Además, existe la percepción de que se utilizó para probar Einstein candidatos asistentes la capacidad de pensar lógicamente. A veces el autor del rompecabezas llamado Lewis Carroll. Sin embargo, no hay evidencia de que el problema surgió con Einstein o Carroll. (Según Wikipedia)

En el caso general, la condición es:

En la calle hay varias casas, cada una de un color diferente, se trata de personas de diferentes nacionalidades, con diferentes costumbres, animales domésticos, y así sucesivamente. También proporciona una lista de los hechos conocidos acerca de los habitantes de las casas. Es necesario, en base a la lógica para determinar quién vive en qué casa, qué, qué mascota y así sucesivamente.

El programa propuesto permite probar su suerte en la solución de esos problemas.