本书向读者介绍了传统逻辑编程的基本原理, 阐明了使用该技术为复杂系统创建可运行规范的益处。书中集合了作者30多年来在学术和商业环境中的研究、应用和教学的成果。本书采用“模型-理论”的方法阐述语义, 而不是传统的“证据-理论”方法, 并同时关注数据集的改变与逻辑代理的状态。多数章节之后附有习题, 引领读者由易到难、由浅入深地通过练习和实践的方式掌握逻辑编程方法。