邏輯編程導論

本書採用一種創新的模型論進行邏輯編程，從數據集的基本概念(即閉原子集)開始。沿著這一基本概念，我們引入視圖(即虛擬關係)；我們將經典邏輯程序定義為視圖定義集，使用傳統的類似於Prolog的標記法編寫，但語義是根據資料集而不是根據實現方式給出。然後介紹了一些閉原子操作，如“添加”和“刪除。

譯者序
前言

第一部分　邏輯程式設計的介紹
第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