逻辑编程导论

译者序
前言
第一部分　逻辑编程的介绍
第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