使用prolog逻辑语言解决爱因斯坦斑马难题

如果你想获得更好的阅读体验，可以前往我在 github 上的博客进行阅读，http://lcomplete.github.io/blog/2013/06/28/sevenlang-prolog/ ...