邏輯編程導論 Introduction to Logic Programming

邏輯編程是另一種風格的編程，其程序採用符號邏輯語言形式的語句集。
多年來，由於邏輯編程在演繹數據庫、自動化工作表、企業管理（業務規則）、
計算法則和通用博弈中的應用，人們對邏輯編程越來越感興趣。
本書介紹了邏輯編程理論、當前技術和流行的應用程序。
本書採用一種創新的模型論進行邏輯編程。
從數據集的基本概念（即基本原子集）開始，沿著這一基本概念，
引入視圖（即虛擬關係），將經典邏輯程序定義為視圖定義集，
使用傳統的類似於Prolog的表示法編寫，
但語義是根據數據集而不是根據實現方式給出。
然後介紹一些基本原子操作。如“添加”和“刪除”，
將動態邏輯程序定義為一組動作定義集。

譯者序
前言
部分　邏輯編程的介紹
第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