Hint

Represent the street as a list of three elements: Street = [House1,House2,House3].

Represent each house as a complex term of the form house(Color,Nationality,Pet).

Use the predicates element_of/2 (or the built-in member) and sublist/2 (defined in this exercise) to state the necessary constraints about the houses in the street.

Solution

Back to the exercise.