书籍详情

逻辑编程导论

逻辑编程导论

作者:[美] 迈克尔·吉内塞雷斯,[美] 维奈·K.乔杜里 著,徐坚,甘健侯,孟祥栋 等 译

出版社:机械工业出版社

出版时间:2021-11-01

ISBN:9787111691815

定价:¥79.00

购买这本书可以去
内容简介
  本书采用一种创新的模型论进行逻辑编程,从数据集的基本概念(即闭原子集)开始。沿着这一基本概念,我们引入视图(即虚拟关系);我们将经典逻辑程序定义为视图定义集,使用传统的类似于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
猜您喜欢

读书导航