Aufgabenstellung

Aufgabe: "Logelei mit den Herren an der Bar"
An einer Bar sassen fuenf Herren nebeneinander.
Ihre Haarfarben waren: blond, schwarz, grau, rot, weiss.
Als Oberbekleidung trugen sie: Lederjacke, Pullover, Hemd, Strickjacke, Weste.
Auch in der Hosenart unterschieden sie sich:
Cordhose, Jeans, Shorts, Lederhose, Baumwollhose.
Folgendes ist bekannt:
1. Der Herr im Hemd sass nicht neben dem Herrn mit der Weste.
2. Der Herr mit roten Haaren sass neben dem Herrn mit grauen Haaren.
3. Der Herr mit der Lederhose sass nicht neben dem Schwarzhaarigen.
4. Neben dem Herrn mit der Weste sass nicht der blonde Herr.
5. Der Herr mit der Weste trug Baumwollhosen.
6. Die Herren mit blonden und schwarzen Haaren sassen nebeneinander.
7. Die Herren in Jeans und in der Strickjacke sassen nicht nebeneinander.
8. Der Herr mit den Jeans sass nicht neben dem weisshaarigen Herrn.
9. Der grauhaarige Herr trug keine Lederhose.
10. Der Herr mit den Jeans sass neben dem Herrn mit dem Hemd.
11. Auf dem vierten Barhocker sass der Herr mit den Lederhosen.
12. Der Herr mit der Lederjacke trug die Cordhosen.
13. Neben dem Herrn mit der Strickjacke sass der weisshaarige Herr.
14. Die Herren mit dem Pullover und dem Hemd sassen nebeneinander.
15. Der Herr mit der Lederjacke hatte blonde Haare.
16. Der Herr mit der Lederjacke sass nicht auf dem dritten Barhocker.
17. Der Herr mit der Strickjacke sass neben dem Herrn mit der Weste.
Auf welchem Barhocker sass der grauhaarige Herr?
Auf welchem Barhocker sass der Herr mit der Weste?
Auf welchem Barhocker sass der Herr mit den Shorts?
Man schreibe ein PROLOG-Programm, das diese Fragen beantwortet.