邏輯編程導(dǎo)論

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