Hola, es la primera veez que posteo, y lo hago para pedirles ayuda con este ejercicio de prolog, ya que me lo han mandado como trabajo.

Utilizando Prolog y si preferiblemente variables con restricciones
escribe un programa para resolver el siguiente puzle de la cebra.
Modelar y resolver el Puzle de la Cebra: cinco personas de diferente nacionalidad
viven en cinco casas de la misma calle. Estas personas tienen
profesiones distintas, y cada una de ellas tiene una bebida favorita y un
animal favorito, todos distintos. Las cinco casas estan pintadas de colores
distintos. Se conocen los siguientes hechos:
a. La persona inglesa vive en una casa roja.
b. La persona española tiene un perro.
c. La persona japonesa pinta como profesion.
d. La persona italiana bebe té.
e. La persona noruega vive en la primera casa.
f. El dueño de la casa verde bebe cafe.
g. La casa verde va a continuacion de la casa blanca.
h. El escultor cria caracoles.
i. El diplomatico vive en la casa amarilla.
j. Se bebe leche en la tercera casa.
k. La casa de la persona noruega esta al lado de la casa azul.
l. El violinista bebe zumo.
m. El zorro esta en la casa de al lado del doctor.
n. El caballo esta en la casa de al lado del diplomatico.
o. La cebra esta en la casa blanca.
p. Una de las personas bebe agua.

El programa debe responder a la siguiente pregunta: >Quien vive en cada
casa?

Gracias de antemano a todos