云书馆

译者序 前言 第一部分　逻辑编程的介绍 第1章　概述 3 11　逻辑编程 3 12　逻辑程序作为可运行规范 3 13　逻辑编程的优点 4 14　逻辑编程的应用 5 15　基本逻辑编程 6 16　历史笔记 7 第2章　数据集 9 21　引言 9 22　概念化 9 23　数据集的定义 10 24　示例—女生联谊会 12 25　示例—亲属关系 13 26　示例—积木世界 14 27　示例—食物世界 16 28　重组 16 29　习题 18 第二部分　查询的更新 第3章　查询 23 31　引言 23 32　查询语法 24 33　查询语义 25 34　安全性 26 35　预定义概念 27 36　示例—亲属关系 28 37　示例—地图着色 29 38　习题 30 第4章　更新 33 41　引言 33 42　更新语法 33 43　更新语义 34 44　同步更新 35 45　示例—亲属关系 36 46　示例—颜色 37 47　习题 40 第5章　查询评估 43 51　引言 43 52　评估真值查询 43 53　匹配 44 54　用变量评估查询 47 55　计算分析 48 56　习题 49 第6章　视图优化 51 61　引言 51 62　子目标排序 51 63　子目标移除 53 64　规则移除 55 65　示例—密码算术 55 66　习题 57 第三部分　视图的定义 第7章　视图定义 61 71　引言 61 72　语法 62 73　语义 63 74　半正程序 66 75　分层程序 68 76　习题 71 第8章　视图评估 73 81　引言 73 82　基础目标和规则的自顶向下处理 74 83　合一 75 84　非基础查询和规则的自顶向下处理 79 85　习题 81 第9章　示例 83 91　引言 83 92　示例—亲属关系 83 93　示例—积木世界 84 94　示例—模运算 86 95　示例—有向图 87 96　习题 88 第10章　列表、集合、树 91 101　引言 91 102　示例—皮亚诺公理 91 103　列表 93 104　示例—排序列表 94 105　示例—集合 95 106　示例—树 96 107　习题 96 第11章　动态系统 99 111　引言 99 112　表示 100 113　仿真 101 114　计划 103 115　习题 104 第12章　元知识 105 121　引言 105 122　自然语言处理 105 123　布尔逻辑 107 124　习题 108 第四部分　操作的定义 第13章　操作 113 131　引言 113 132　语法 113 133　语义 115 134　习题 118 第14章　动态逻辑程序 121 141　引言 121 142　响应式系统 121 143　封闭系统 122 144　混合主动 124 145　同时动作 124 146　习题 126 第15章　数据库管理 127 151　引言 127 152　约束更新 127 153　物化视图维护 128 154　通过视图更新 129 155　习题 130 第16章　交互式工作表 131 161　交互式工作表简介 131 162　示例 132 163　网页数据 133 164　手势 134 165　操作定义 135 166　视图定义 136 167　语义建模 137 第五部分　结论 第17章　其他类型的逻辑程序设计 143 171　引言 143 172　逻辑生产系统 143 173　约束逻辑编程 144 174　析取逻辑编程 145 175　存在逻辑编程 146 176　回答集编程 147 177　归纳逻辑编程 149 附录A　EpilogJS中的预定义概念 151 附录B　Sierra 161 参考文献 182

展开