使用序言解决船舶难题
Solving ship puzzle using prolog
我需要使用序言解决以下问题。
这些是提供的事实。
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?
我通过网络搜索，但无法找到 prolog 的解决方案。
那么我该如何使用 prolog 解决这个问题？
谢谢。
Zebra puzzle、a.k.a。爱因斯坦之谜，是一个逻辑难题，需要通过编程来解决。
它有多种变体，都是您发布的变体。
剧透警告：以下链接包含谜题的序言解决方案
- 这是一个使用
ic（约束求解器）库的解决方案：https://gist.github.com/JuanitoFatas/2227711
- 在这里你可以找到一个纯序言实现：Einsteins Riddle Prolog
- 这是在纯序言中解决它的另一种尝试：http://baptiste-wicht.com/posts/2010/09/solve-einsteins-riddle-using-prolog.html
我需要使用序言解决以下问题。
这些是提供的事实。
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?
我通过网络搜索，但无法找到 prolog 的解决方案。
那么我该如何使用 prolog 解决这个问题？
谢谢。
Zebra puzzle、a.k.a。爱因斯坦之谜，是一个逻辑难题，需要通过编程来解决。
它有多种变体，都是您发布的变体。
剧透警告：以下链接包含谜题的序言解决方案
- 这是一个使用
ic（约束求解器）库的解决方案：https://gist.github.com/JuanitoFatas/2227711 - 在这里你可以找到一个纯序言实现：Einsteins Riddle Prolog
- 这是在纯序言中解决它的另一种尝试：http://baptiste-wicht.com/posts/2010/09/solve-einsteins-riddle-using-prolog.html