邏輯編程導論 Introduction to Logic Programming

維奈·K.喬杜裏（Vinay K.Chaudhri）前SRI International人工智能中心計畫主管，目前任職於史丹佛大學電腦科學系。他在加拿大多倫多大學獲得電腦科學博士學位，是人工智能領域的著名專家，其專長包括知識表示和推理、問答系統、本體論和知識獲取。在史丹佛大學，他積極促進中學邏輯教育，研究用於快速獲取正式知識的技術，以及編制智慧教科書。他為金融業提供可計算合約和知識圖譜的諮詢，也教授有關知識表示、推理和邏輯程式設計的課程。

譯者序
前言
部分　邏輯編程的介紹
第1章　概述 3
1.1　邏輯編程 3
1.2　邏輯程序作為可運行規範 3
1.3　邏輯編程的優點 4
1.4　邏輯編程的應用 5
1.5　基本邏輯編程 6
1.6　歷史筆記 7
第2章　數據集 9
2.1　引言 9
2.2　概念化 9
2.3　數據集的定義 10
2.4　示例—女生聯誼會 12
2.5　示例—親屬關係 13
2.6　示例—積木世界 14
2.7　示例—食物世界 16
2.8　重組 16
2.9　習題 18
第二部分　查詢的更新
第3章　查詢 23
3.1　引言 23
3.2　查詢語法 24
3.3　查詢語義 25
3.4　安全性 26
3.5　預定義概念 27
3.6　示例—親屬關係 28
3.7　示例—地圖著色 29
3.8　習題 30
第4章　更新 33
4.1　引言 33
4.2　更新語法 33
4.3　更新語義 34
4.4　同步更新 35
4.5　示例—親屬關係 36
4.6　示例—顏色 37
4.7　習題 40
第5章　查詢評估 43
5.1　引言 43
5.2　評估真值查詢 43
5.3　匹配 44
5.4　用變量評估查詢 47
5.5　計算分析 48
5.6　習題 49
第6章　視圖優化 51
6.1　引言 51
6.2　子目標排序 51
6.3　子目標移除 53
6.4　規則移除 55
6.5　示例—密碼算術 55
6.6　習題 57
第三部分　視圖的定義
第7章　視圖定義 61
7.1　引言 61
7.2　語法 62
7.3　語義 63
7.4　半正程序 66
7.5　分層程序 68
7.6　習題 71
第8章　視圖評估 73
8.1　引言 73
8.2　基礎目標和規則的自頂向下處理 74
8.3　合一 75
8.4　非基礎查詢和規則的自頂向下處理 79
8.5　習題 81
第9章　示例 83
9.1　引言 83
9.2　示例—親屬關係 83
9.3　示例—積木世界 84
9.4　示例—模運算 86
9.5　示例—有向圖 87
9.6　習題 88
第10章　列表、集合、樹 91
10.1　引言 91
10.2　示例—皮亞諾公理 91
10.3　列表 93
10.4　示例—排序列表 94
10.5　示例—集合 95
10.6　示例—樹 96
10.7　習題 96
第11章　動態系統 99
11.1　引言 99
11.2　表示 100
11.3　模擬 101
11.4　計劃 103
11.5　習題 104
第12章　元知識 105
12.1　引言 105
12.2　自然語言處理 105
12.3　布爾邏輯 107
12.4　習題 108
第四部分　操作的定義
第13章　操作 113
13.1　引言 113
13.2　語法 113
13.3　語義 115
13.4　習題 118
第14章　動態邏輯程序 121
14.1　引言 121
14.2　響應式系統 121
14.3　封閉系統 122
14.4　混合主動 124
14.5　同時動作 124
14.6　習題 126
第15章　數據庫管理 127
15.1　引言 127
15.2　約束更新 127
15.3　物化視圖維護 128
15.4　通過視圖更新 129
15.5　習題 130
第16章　交互式工作表 131
16.1　交互式工作表簡介 131
16.2　示例 132
16.3　網頁數據 133
16.4　手勢 134
16.5　操作定義 135
16.6　視圖定義 136
16.7　語義建模 137
第五部分　結論
第17章　其他類型的邏輯程序設計 143
17.1　引言 143
17.2　邏輯生產系統 143
17.3　約束邏輯編程 144
17.4　析取邏輯編程 145
17.5　存在邏輯編程 146
17.6　回答集編程 147
17.7　歸納邏輯編程 149
附錄A　EpilogJS中的預定義概念 151
附錄B　Sierra 161
參考文獻 182