这些讲义介绍了声明性编程语言Prolog。重点是学习如何编程，而不是逻辑编程理论。尽管如此，也包括一小段关于Prolog逻辑基础的内容。