掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
邏輯編程導論 版權信息
- ISBN：9787111691815
- 條形碼：9787111691815 ; 978-7-111-69181-5
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
邏輯編程導論 本書特色
斯坦福大學專家用創新的“模型-理論”方法概述邏輯編程理論、當前技術和流行應用
邏輯編程導論 內容簡介
本書采用一種創新的模型論進行邏輯編程，從數據集的基本概念(即閉原子集)開始。沿著這一基本概念，我們引入視圖(即虛擬關系)；我們將經典邏輯程序定義為視圖定義集，使用傳統的類似于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
展開全部
書友推薦
- >
伊索寓言-世界文學名著典藏-全譯本
- >
山海經
- >
龍榆生：詞曲概論/大家小書
- >
我與地壇
- >
名家帶你讀魯迅:故事新編
- >
羅曼·羅蘭讀書隨筆-精裝
- >
小考拉的故事-套裝共3冊
- >
我從未如此眷戀人間
本類暢銷
