内容介绍
本书采用一种创新的模型论进行逻辑编程，从数据集的基本概念(即闭原子集)开始。沿着这一基本概念，我们引入视图(即虚拟关系)；我们将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作，如“添加”和“删除。
商品详情
逻辑编程导论
作 者:(美)迈克尔·吉内塞雷斯,(美)维奈·K.乔杜里 著 徐坚 等 译
定 价:79
出 版 社:机械工业出版社
出版日期:2021年10月01日
页 数:192
装 帧:平装
ISBN:9787111691815
目录
●译者序
前言
第一部分逻辑编程的介绍
第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
……
- 新华文轩书店 （微信公众号认证）
- 新华文轩书店线上店 100%正版保证
- 扫描二维码，访问我们的微信店铺
- 随时随地的购物、客服咨询、查询订单和物流...
