摘要：如果你想获得更好的阅读体验，可以前往我在 github 上的博客进行阅读，http://lcomplete.github.io/blog/2013/06/28/sevenlang-prolog/。 目前商业上广泛使用的编程语言多是命令式或函数式的编程语言，这些语言在某些方面具有很高的相似度，比如 p 阅读全文