本章介绍学习关于 Prolog编程最基本的内容,包括Horn子句 Prolog、推理 机、程序控制、 Prolog算符等。 Visual Prolog是面向对象的、严格类型化的和模式检验的。在编写 Visual Prolog程序时,必须掌握这些内容。但在这里,我们将集中于编写代码这个 核心问题,也就是说,编写这些代码时暂时不考虑类、类型和模式。 我们将使用包含在 Visual Prolog6中的PIE例子。PIE是一个 Prolog经典的 解释器,通过使用它,可以学会和试验 Prolog程序,而不必关心类、类型等 方面的知识