您好,欢迎来到聚文网。 登录 免费注册
逻辑编程导论

逻辑编程导论

  • 装帧: 平装
  • 出版社: 机械工业出版社
  • 作者: (美)迈克尔·吉内塞雷斯,(美)维奈·K.乔杜里
  • 出版日期: 2021-10-01
  • 商品条码: 9787111691815
  • 版次: 1
  • 开本: 16开
  • 页数: 192
  • 出版年份: 2021
定价:¥79 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书采用一种创新的模型论进行逻辑编程,从数据集的基本概念(即闭原子集)开始。沿着这一基本概念,我们引入视图(即虚拟关系);我们将经典逻辑程序定义为视图定义集,使用传统的类似于Prolog的表示法编写,但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作,如“添加”和“删除。
目录
译者序
前言
第一部分逻辑编程的介绍
第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
……

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网