文献类型:专著 浏览次数:70
  • 题名:逻辑编程导论
  • 责任者:(美)迈克尔·吉内塞雷斯(Michael Genesereth),(美)维奈·K. 乔杜里(Vinay K. Chaudhri)著
  • 出版社机械工业出版社
  • 出版年:2021
  • ISBN:978-7-111-69181-5
  • 定价:79.00
  • 载体形态项:183页 26cm
  • 个人责任者:吉内塞雷斯著、乔杜里著、徐坚译
  • 学科主题:逻辑控制
  • 中图法分类号:TP273
  • 提要文摘附注:本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念(即基本原子集)开始,沿着这一基本概念,引入视图(即虚拟关系),将经典逻辑程序定义为视图定义集,使用传统的类似于Prolog的表示法编写,但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作,如“添加”和“删除”,将动态逻辑程序定义为一组动作定义集。
  • 统一资源定位(URL):
总体评价(共0票) 评价
索书号 条码号 年卷期 馆藏地 排架号 书刊状态 流通类型 流通状态

书籍封面

相关资源

图书馆微博二维码

图书馆微信公众号二维码