介绍逻辑编程，将三个基本组成部分组合在一起：逻辑本身的声明性，编写有效程序所需的编程技术以及计算机对逻辑编程的有效实现。