Solving ship puzzle using prolog

Question

I need to solve the following problem using prolog.
These are the facts provided.

1. The Greek ship leaves at six and carries coffee.
2. The Ship in the middle has a black chimney.
3. The English ship leaves at nine.
4. The French ship with blue chimney is to the left of a ship that carries coffee.
5. To the right of the ship carrying cocoa is a ship going to Marseille.
6. The Brazilian ship is heading for Manila.
7. Next to the ship carrying rice is a ship with a green chimney.
8. A ship going to Genoa leaves at five.
9. The Spanish ship leaves at seven and is to the right of the ship going to Marseille.
10. The ship with a red chimney goes to Hamburg.
11. Next to the ship leaving at seven is a ship with a white chimney.
12. The ship on the border carries corn.
13. The ship with a black chimney leaves at eight.
14. The ship carrying corn is anchored next to the ship carrying rice.
15. The ship to Hamburg leaves at six.

Which ship goes to Port Said? Which ship carries tea?

I search through the web,but I was unable to find a solution with prolog.
So how can I tackle this problem with prolog?
Thank you.

Answer 1

The Zebra puzzle, a.k.a. Einstein's Riddle, is a logic puzzle which is to be solved programmatically.

It has several variants, all in the form of the one you posted.

SPOILER ALERT: the following links contain prolog solutions to the puzzle

• Here is a solution using ic (constraint solver) library: https://gist.github.com/JuanitoFatas/2227711
• Here you can find a pure prolog implementation: Einsteins Riddle Prolog
• Here another attempt at solving it in pure prolog: http://baptiste-wicht.com/posts/2010/09/solve-einsteins-riddle-using-prolog.html