逻辑编程导论

全新正版极速发货

43.28 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的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作，如“添加”和“删除。

— 没有更多了 —