http://blog.csdn.net/mwsong/article/details/1766382
到现在为止，我们已经对Prolog有了一个基本的了解，现在有必要对我们所学过的知识做一个系统的总结。
- Prolog的程序是由一系列的事实和规则组成的数据库。
- 规则之间的调用是通过联合操作完成的，Prolog能够自动的完成模式匹配。
- 规则还可以调用内部谓词，例如write/1。
- 我们可以在Prolog的解释器中单独地对规则进行查询（调用）。
在Prolog的程序的运行流程方面我有了如下的认识：
- 规则的运行是通过Prolog内建的回溯功能实现的。
- 我们可以使用内部谓词fail来强制实现回溯。
- 我们也可以通过加入一条参数为伪变量（下划线）无Body部分的子句，来实现强制让谓词成功。
我们还学习了，
- 数据库中的事实代替了一般语言中的数据结构。
- 回溯功能能够完成一般语言中的循环操作。
- 而通过模式匹配能够完成一般语言中的判断操作。
- 规则能够被单独地调试，它和一般语言中的模块相对应。
- 而规则之间的调用和一般语言中的函数的调用类似。