邏輯編程導論

譯者序
前言
第一部分　邏輯編程的介紹
第1章　概述 3
11　邏輯編程 3
12　邏輯程序作為可運行規(guī)范 3
13　邏輯編程的優(yōu)點 4
14　邏輯編程的應用 5
15　基本邏輯編程 6
16　歷史筆記 7
第2章　數(shù)據(jù)集 9
21　引言 9
22　概念化 9
23　數(shù)據(jù)集的定義 10
24　示例—女生聯(lián)誼會 12
25　示例—親屬關(guān)系 13
26　示例—積木世界 14
27　示例—食物世界 16
28　重組 16
29　習題 18
第二部分　查詢的更新
第3章　查詢 23
31　引言 23
32　查詢語法 24
33　查詢語義 25
34　安全性 26
35　預定義概念 27
36　示例—親屬關(guān)系 28
37　示例—地圖著色 29
38　習題 30
第4章　更新 33
41　引言 33
42　更新語法 33
43　更新語義 34
44　同步更新 35
45　示例—親屬關(guān)系 36
46　示例—顏色 37
47　習題 40
第5章　查詢評估 43
51　引言 43
52　評估真值查詢 43
53　匹配 44
54　用變量評估查詢 47
55　計算分析 48
56　習題 49
第6章　視圖優(yōu)化 51
61　引言 51
62　子目標排序 51
63　子目標移除 53
64　規(guī)則移除 55
65　示例—密碼算術(shù) 55
66　習題 57
第三部分　視圖的定義
第7章　視圖定義 61
71　引言 61
72　語法 62
73　語義 63
74　半正程序 66
75　分層程序 68
76　習題 71
第8章　視圖評估 73
81　引言 73
82　基礎(chǔ)目標和規(guī)則的自頂向下處理 74
83　合一 75
84　非基礎(chǔ)查詢和規(guī)則的自頂向下處理 79
85　習題 81
第9章　示例 83
91　引言 83
92　示例—親屬關(guān)系 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章　動態(tài)系統(tǒng) 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章　動態(tài)邏輯程序 121
141　引言 121
142　響應式系統(tǒng) 121
143　封閉系統(tǒng) 122
144　混合主動 124
145　同時動作 124
146　習題 126
第15章　數(shù)據(jù)庫管理 127
151　引言 127
152　約束更新 127
153　物化視圖維護 128
154　通過視圖更新 129
155　習題 130
第16章　交互式工作表 131
161　交互式工作表簡介 131
162　示例 132
163　網(wǎng)頁數(shù)據(jù) 133
164　手勢 134
165　操作定義 135
166　視圖定義 136
167　語義建模 137
第五部分　結(jié)論
第17章　其他類型的邏輯程序設計 143
171　引言 143
172　邏輯生產(chǎn)系統(tǒng) 143
173　約束邏輯編程 144
174　析取邏輯編程 145
175　存在邏輯編程 146
176　回答集編程 147
177　歸納邏輯編程 149
附錄A　EpilogJS中的預定義概念 151
附錄B　Sierra 161
參考文獻 182