逻辑编程导论
全新正版 极速发货
￥ 43.25 5.5折 ￥ 79 全新
仅1件
广东广州
认证卖家担保交易快速发货售后保障
作者(美)迈克尔·吉内塞雷斯,(美)维奈·K.乔杜里
出版社机械工业出版社
ISBN9787111691815
出版时间2021-10
装帧平装
开本16开
定价79元
货号1202504171
上书时间2024-12-18
商品详情
- 品相描述：全新
- 商品描述
-
目录
译者序
前言
部分逻辑编程的介绍
章概述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
……
内容摘要
本书采用一种创新的模型论进行逻辑编程，从数据集的基本概念(即闭原子集)开始。沿着这一基本概念，我们引入视图(即虚拟关系)；我们将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作，如“添加”和“删除。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价