本书采用一种创新的模型论进行逻辑编程，从数据集的基本概念(即闭原子集)开始。沿着这一基本概念，我们引入视图(即虚拟关系)；我们将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作，如“添加”和“删除。

译者序
前言
第一部分逻辑编程的介绍
第1章概述3
1.1逻辑编程3
1.2逻辑程序作为可运行规范3
1.3逻辑编程的优点4
1.4逻辑编程的应用5
1.5基本逻辑编程6
1.6历史笔记7
第2章数据集9
2.1引言9
2.2概念化9
2.3数据集的定义10
2.4示例——女生联谊会12
……