prolog 阶段总结

http://blog.csdn.net/mwsong/article/details/1766382 

到现在为止，我们已经对Prolog有了一个基本的了解，现在有必要对我们所学过的知识做一个系统的总结。

• Prolog的程序是由一系列的事实和规则组成的数据库。
• 规则之间的调用是通过联合操作完成的，Prolog能够自动的完成模式匹配。
• 规则还可以调用内部谓词，例如write/1。
• 我们可以在Prolog的解释器中单独地对规则进行查询（调用）。

在Prolog的程序的运行流程方面我有了如下的认识：

• 规则的运行是通过Prolog内建的回溯功能实现的。
• 我们可以使用内部谓词fail来强制实现回溯。
• 我们也可以通过加入一条参数为伪变量（下划线）无Body部分的子句，来实现强制让谓词成功。

我们还学习了，

• 数据库中的事实代替了一般语言中的数据结构。
• 回溯功能能够完成一般语言中的循环操作。
• 而通过模式匹配能够完成一般语言中的判断操作。
• 规则能够被单独地调试，它和一般语言中的模块相对应。
• 而规则之间的调用和一般语言中的函数的调用类似。