逻辑编程导论

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

译者序前言部分  逻辑编程的介绍章  概述31.1  逻辑编程31.2  逻辑程序作为可运行规范31.3  逻辑编程的优点41.4  逻辑编程的应用51.5  基本逻辑编程61.6  历史笔记7第2章  数据集92.1  引言92.2  概念化92.3  数据集的定义102.4  示例—女生联谊会122.5  示例—亲属关系132.6  示例—积木世界142.7  示例—食物世界162.8  重组162.9  习题18第二部分  查询的更新第3章  查询233.1  引言233.2  查询语法243.3  查询语义253.4  安全性263.5  预定义概念273.6  示例—亲属关系283.7  示例—地图着色293.8  习题30第4章  更新334.1  引言334.2  更新语法334.3  更新语义344.4  同步更新354.5  示例—亲属关系364.6  示例—颜色374.7  习题40第5章  查询评估435.1  引言435.2  评估真值查询435.3  匹配445.4  用变量评估查询475.5  计算分析485.6  习题49第6章  视图优化516.1  引言516.2  子目标排序516.3  子目标移除536.4  规则移除556.5  示例—密码算术556.6  习题57第三部分  视图的定义第7章  视图定义617.1  引言617.2  语法627.3  语义637.4  半正程序667.5  分层程序687.6  习题71第8章  视图评估738.1  引言738.2  基础目标和规则的自顶向下处理748.3  合一758.4  非基础查询和规则的自顶向下处理798.5  习题81第9章  示例839.1  引言839.2  示例—亲属关系839.3  示例—积木世界849.4  示例—模运算869.5  示例—有向图879.6  习题880章  列表、集合、树9110.1  引言9110.2  示例—皮亚诺公理9110.3  列表9310.4  示例—排序列表9410.5  示例—集合9510.6  示例—树9610.7  习题961章  动态系统9911.1  引言9911.2  表示10011.3  仿真10111.4  计划10311.5  习题1042章  元知识10512.1  引言10512.2  自然语言处理10512.3  布尔逻辑10712.4  习题108第四部分  操作的定义3章  操作11313.1  引言11313.2  语法11313.3  语义11513.4  习题1184章  动态逻辑程序12114.1  引言12114.2  响应式系统12114.3  封闭系统12214.4  混合主动12414.5  同时动作12414.6  习题1265章  数据库管理12715.1  引言12715.2  约束更新12715.3  物化视图维护12815.4  通过视图更新12915.5  习题1306章  交互式工作表13116.1  交互式工作表简介13116.2  示例13216.3  网页数据13316.4  手势13416.5  操作定义13516.6  视图定义13616.7  语义建模137第五部分  结论7章  其他类型的逻辑程序设计14317.1  引言14317.2  逻辑生产系统14317.3  约束逻辑编程14417.4  析取逻辑编程14517.5  存在逻辑编程14617.6  回答集编程14717.7  归纳逻辑编程149附录A  EpilogJS中的预定义概念151附录B  Sierra161参考文献182