06.11. Logikrätsel 1 (Zusatzaufgabe)

Gegeben folgende Situation:

• In einer Straße stehen drei Häuser mit den Hausnummern 1, 2 und 3.

• Es gibt ein rotes, ein blaues und ein grünes Haus.

• In der Straße wohnt ein Engländer, eine Japanerin und eine Spanierin.

• In jedem Hau gibt es ein Haustier: eine Schnecke, ein Jaguar und einen Wolf.

• In dem roten Haus wohnt ein Engländer.

• Die Spanierin hält einen Jaguar.

• Die Japanerin wohnt rechts neben dem Haus, in dem die Schnecke gehalten wird.

• Die Schnecke lebt in dem Haus links vom blauen Haus.

Modelliere diese Situation in Prolog und schreibe ein Prädikat, mit dem du herausfinden kannst, wer in welchem Haus und welcher Farbe mit welchem Tier lebt. Gibt es mehr als eine Lösung? Denke dir eine zusätzliche Bedingung aus, so dass die Lösung eindeutig wird.

Tipp: Mithilfe von permute/2 kannst du potentielle Hausbelegungen erzeugen, die dann daraufhin überprüft werden können, ob sie die angegebenen Bedingungen erfüllen.