逻辑编程是另一种风格的编程，其程序采用符号逻辑语言形式的语句集。多年来，由于逻辑编程在演绎数据库、自动化工作表、企业管理（业务规则）、计算法则和通用博弈中的应用，人们对逻辑编程越来越感兴趣。本书介绍了逻辑编程理论、当前技术和流行的应用程序。
本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念（即基本原子集）开始，沿着这一基本概念，引入视图（即虚拟关系），将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作。如“添加”和“删除”，将动态逻辑程序定义为一组动作定义集。
译者序
前言
第一部分 逻辑编程的介绍
第1章 概述
1.1 逻辑编程
1.2 逻辑程序作为可运行规范
1.3 逻辑编程的优点
1.4 逻辑编程的应用
1.5 基本逻辑编程
1.6 历史笔记
第2章 数据集
2.1 引言
2.2 概念化
2.3 数据集的定义
2.4 示例—女生联谊会
2.5 示例—亲属关系
2.6 示例—积木世界
2.7 示例—食物世界
2.8 重组
2.9 习题
第二部分 查询的更新
第3章 查询
3.1 引言
3.2 查询语法
3.3 查询语义
3.4 安全性
3.5 预定义概念
3.6 示例—亲属关系
3.7 示例—地图着色
3.8 习题
第4章 更新
4.1 引言
4.2 更新语法
4.3 更新语义
4.4 同步更新
4.5 示例—亲属关系
4.6 示例—颜色
4.7 习题
第5章 查询评估
5.1 引言
5.2 评估真值查询
5.3 匹配
5.4 用变量评估查询
5.5 计算分析
5.6 习题
第6章 视图优化
6.1 引言
6.2 子目标排序
6.3 子目标移除
6.4 规则移除
6.5 示例—密码算术
6.6 习题
第三部分 视图的定义
第7章 视图定义
7.1 引言
7.2 语法
7.3 语义
7.4 半正程序
7.5 分层程序
7.6 习题
第8章 视图评估
8.1 引言
8.2 基础目标和规则的自顶向下处理
8.3 合一
8.4 非基础查询和规则的自顶向下处理
8.5 习题
第9章 示例
9.1 引言
9.2 示例—亲属关系
9.3 示例—积木世界
9.4 示例—模运算
9.5 示例—有向图
9.6 习题
第10章 列表、集合、树
10.1 引言
10.2 示例—皮亚诺公理
10.3 列表
10.4 示例—排序列表
10.5 示例—集合
10.6 示例—树
10.7 习题
第11章 动态系统
11.1 引言
11.2 表示
11.3 仿真
11.4 计划
11.5 习题
第12章 元知识
12.1 引言
12.2 自然语言处理
12.3 布尔逻辑
12.4 习题
第四部分 操作的定义
第13章 操作
13.1 引言
13.2 语法
13.3 语义
13.4 习题
第14章 动态逻辑程序
14.1 引言
14.2 响应式系统
14.3 封闭系统
14.4 混合主动
14.5 同时动作
14.6 习题
第15章 数据库管理
15.1 引言
15.2 约束更新
15.3 物化视图维护
15.4 通过视图更新
15.5 习题
第16章 交互式工作表
16.1 交互式工作表简介
16.2 示例
16.3 wangye数据
16.4 手势
16.5 操作定义
16.6 视图定义
16.7 语义建模
第五部分 结论
第17章 其他类型的逻辑程序设计
17.1 引言
17.2 逻辑生产系统
17.3 约束逻辑编程
17.4 析取逻辑编程
17.5 存在逻辑编程
17.6 回答集编程
17.7 归纳逻辑编程
附录A EpilogJS中的预定义概念
附录B Sierra
参考文献
[
我的消息
购物车
