本书目录简介：第一章知识库系统概论，第二章数学基础，第三章知识库系统基本原理，第四章Datalog数据模型，第五章关于逻辑的进一步讨论，第六章魔集算法等。